Fixed compilation problem when calling getClass method in Definitions.scala,...

Fixed compilation problem when calling getClass method in Definitions.scala, need to prefix the call with the "definitions" object.

src/funcheck/scalacheck/ScalaCheck.scala

@@ -334,8 +334,8 @@ trait ScalaCheck extends FreshNameCreator {
     tpe2arbApp += StringClass.typeConstructor    -> arbString
     tpe2arbApp += OptionClass.typeConstructor    -> arbOption
     
-    lazy val ImmutableMapClass: Symbol = getClass("scala.collection.immutable.Map")
-    lazy val ImmutableSetClass: Symbol = getClass("scala.collection.immutable.Set")
+    lazy val ImmutableMapClass: Symbol = definitions.getClass(newTypeName("scala.collection.immutable.Map"))
+    lazy val ImmutableSetClass: Symbol = definitions.getClass(newTypeName("scala.collection.immutable.Set"))
     
     tpe2arbApp += ImmutableMapClass.typeConstructor    -> arbImmutableMap
     tpe2arbApp += ListClass.typeConstructor            -> arbList