added SBT project stub.

project/build.properties

+#
+#Fri Jun 18 16:59:47 CEST 2010
+project.scratch=true
+project.name=FunCheck
+project.version=1.0
+sbt.version=0.7.4
+def.scala.version=2.8.0.RC6
+build.scala.versions=2.8.0.RC6
+project.initialize=false

project/build/funcheck.scala

+import sbt._
+
+class FunCheckProject(info: ProjectInfo) extends DefaultProject(info) {
+  override def outputDirectoryName = "bin"
+  override def mainScalaSourcePath = "src"
+  override def compileOptions = super.compileOptions ++ Seq(Unchecked)
+}

src/funcheck/AnalysisComponent.scala

@@ -2,12 +2,10 @@ package funcheck
 
 import scala.tools.nsc._
 import scala.tools.nsc.plugins._
-import scalacheck._	
 
 class AnalysisComponent(val global: Global, val pluginInstance: FunCheckPlugin)
   extends PluginComponent
   with CodeExtraction
-  // with ScalaCheckIntegrator // Mirco's stuff.
 {
   import global._