--- a/tests/libjava-mauve/.classpath	Tue Apr 30 14:13:09 2013 +0100
+++ b/tests/libjava-mauve/.classpath	Wed May 01 11:59:25 2013 +0100
@@ -1,5 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
 	<classpathentry kind="src" path="src"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>