Eclipse config: copy .classpath up to root dir, following switch from svn to git.

.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>

.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/