--- old/application/org.openjdk.jmc.joverflow.ui/.classpath	2019-02-13 14:27:09.724269300 +0100
+++ new/application/org.openjdk.jmc.joverflow.ui/.classpath	2019-02-13 14:27:09.003211700 +0100
@@ -8,6 +8,5 @@
 		</accessrules>
 	</classpathentry>	
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
-	<classpathentry kind="con" path="org.eclipse.jdt.USER_LIBRARY/JMC_JDK"/>
 	<classpathentry kind="output" path="target/classes"/>
 </classpath>