diff --git a/.classpath b/.classpath
new file mode 100644
index 00000000..a314b2b8
--- /dev/null
+++ b/.classpath
@@ -0,0 +1,16 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+	<classpathentry kind="src" path="prism/src"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
+	<classpathentry kind="lib" path="prism/lib/epsgraphics.jar"/>
+	<classpathentry kind="lib" path="prism/lib/jcommon.jar"/>
+	<classpathentry kind="lib" path="prism/lib/jfreechart.jar"/>
+	<classpathentry kind="lib" path="prism/lib/jhoafparser.jar"/>
+	<classpathentry kind="lib" path="prism/lib/colt.jar"/>
+	<classpathentry kind="lib" path="prism/lib/pepa.zip"/>
+	<classpathentry kind="lib" path="prism/lib/lpsolve55j.jar"/>
+	<classpathentry kind="lib" path="prism/lib/jas.jar"/>
+	<classpathentry kind="lib" path="prism/lib/log4j.jar"/>
+	<classpathentry kind="lib" path="prism/lib/nailgun-server.jar"/>
+	<classpathentry kind="output" path="prism/classes"/>
+</classpath>
diff --git a/.gitignore b/.gitignore
index a755c3a4..1735b82c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,7 +25,9 @@ prism/lib/lpsolve55j.jar
 # generated CUDD headers:
 cudd/include/*.h
 
-# Eclipse project file (should not be versioned)
+# Eclipse project files (should not be versioned)
+\.project
 prism/\.project
-# Eclipse project custom settings directory
+# Eclipse project custom settings
+\.settings/
 prism/\.settings/