diff --git a/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/build.sbt b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/build.sbt
new file mode 100644
index 000000000000..108f70f83cca
--- /dev/null
+++ b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/build.sbt
@@ -0,0 +1,12 @@
+val dottyVersion = "0.22.0-RC1"
+
+lazy val root = project
+  .in(file("."))
+  .settings(
+    name := "dotty-simple",
+    version := "0.1.0",
+
+    scalaVersion := dottyVersion,
+
+    libraryDependencies += "com.novocode" % "junit-interface" % "0.11" % "test"
+  )
diff --git a/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/project/build.properties b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/project/build.properties
new file mode 100644
index 000000000000..a919a9b5f46b
--- /dev/null
+++ b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/project/build.properties
@@ -0,0 +1 @@
+sbt.version=1.3.8
diff --git a/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/project/plugins.sbt b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/project/plugins.sbt
new file mode 100644
index 000000000000..b7e929c23e19
--- /dev/null
+++ b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/project/plugins.sbt
@@ -0,0 +1 @@
+addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % "0.4.0")
diff --git a/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/src/main/scala/Main.scala b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/src/main/scala/Main.scala
new file mode 100644
index 000000000000..e1e0b803d9b0
--- /dev/null
+++ b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/src/main/scala/Main.scala
@@ -0,0 +1,4 @@
+@main
+def testMethod(): Unit = {
+  println("Hello world!")
+}
diff --git a/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/test b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/test
new file mode 100644
index 000000000000..62ea636c177f
--- /dev/null
+++ b/sbt-dotty/sbt-test/sbt-dotty/dotty-knowledge.i17/test
@@ -0,0 +1 @@
+> run