diff --git a/project/build.properties b/project/build.properties
new file mode 100644
index 0000000000000000000000000000000000000000..abf69f47b895393507f708f226e96e3a6022f2e2
--- /dev/null
+++ b/project/build.properties
@@ -0,0 +1,9 @@
+#
+#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
diff --git a/project/build/funcheck.scala b/project/build/funcheck.scala
new file mode 100644
index 0000000000000000000000000000000000000000..d545dd32dd32ec26113c15620c290b3642b019d8
--- /dev/null
+++ b/project/build/funcheck.scala
@@ -0,0 +1,7 @@
+import sbt._
+
+class FunCheckProject(info: ProjectInfo) extends DefaultProject(info) {
+  override def outputDirectoryName = "bin"
+  override def mainScalaSourcePath = "src"
+  override def compileOptions = super.compileOptions ++ Seq(Unchecked)
+}
diff --git a/src/funcheck/AnalysisComponent.scala b/src/funcheck/AnalysisComponent.scala
index 0497946ec08a211c20907a5ca0701b49f9ea0deb..07bfe2f4f452f5f5754d5e0883caeaa713652044 100644
--- a/src/funcheck/AnalysisComponent.scala
+++ b/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._