diff --git a/.gitignore b/.gitignore
index ab9f1b31435e9253435adc80f56e81500a3eba21..efda7f1cc8693dd1e721a84ac3020d45c89ad904 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,3 +14,14 @@ derivation*.dot
 
 # leon
 last.log
+
+#eclipse
+.cache
+.classpath
+.project
+.settings/
+.worksheet/
+testingSheet.sc
+
+#z3
+.z3-trace
diff --git a/README.md b/README.md
index fcb5f83197483369c6dee0a37ac40f2f9cc68e20..61b02444099d695cb1eb333df64e0290045a61d3 100644
--- a/README.md
+++ b/README.md
@@ -133,10 +133,26 @@ Using Leon in Eclipse
 Type: ```sbt eclipse```
 
 This should create all the necessary metadata for using Leon as a project in Eclipse.
-Specifically, two Eclipse projects are generated in corresponding directories: the main *Leon* project in the Leon root directory, and the *Leon library* project in the ```library``` subdirectory.
-You should now be able to [import the projects](http://help.eclipse.org/juno/index.jsp?topic=%2Forg.eclipse.platform.doc.user%2Ftasks%2Ftasks-importproject.htm) into your Eclipse workspace.
-Since the main Leon project depends on the library, you should import both of them.
 
+You should now be able to [import the project](http://help.eclipse.org/juno/index.jsp?topic=%2Forg.eclipse.platform.doc.user%2Ftasks%2Ftasks-importproject.htm) into your Eclipse workspace.
+
+Some advice for when using Eclipse: 
+-
+* For each run configuration you create, you should setup environment variables according to the script ```setupenv``` you have created with ```sbt script```.
+* If you want to use ScalaTest from within Eclipse, download the ScalaTest plugin. For instructions, see [here](http://www.scalatest.org/user_guide/using_scalatest_with_eclipse). 
+  Do NOT declare your test packages as nested packages in separate lines, because ScalaTest won't see them for some reason. E.g. don't write 
+
+  <pre>
+    package leon
+    package test
+    package myTestPackage 
+  </pre>
+
+  but instead
+
+  <pre>
+    package leon.test.myTestPackage
+  </pre>
 
 Changelog
 ---------
diff --git a/build.sbt b/build.sbt
index b0423e0ad04fcc31a6949953e5f79250f0d68d95..6b5ac2d943909030d36df393ec314487da5d4e1c 100644
--- a/build.sbt
+++ b/build.sbt
@@ -36,7 +36,7 @@ logBuffered in Test := false
 
 testOptions in Test += Tests.Argument("-oDF")
 
-javaOptions in Test += "-Xss32M"
+javaOptions in (Test,run) += "-Xss32M"
 
 parallelExecution in test := false