diff --git a/org.eclipse.jdt.core.tests.model/src/org/eclipse/jdt/core/tests/model/JavaProjectTests.java b/org.eclipse.jdt.core.tests.model/src/org/eclipse/jdt/core/tests/model/JavaProjectTests.java
index 7b3a951..d1e42fb 100644
--- a/org.eclipse.jdt.core.tests.model/src/org/eclipse/jdt/core/tests/model/JavaProjectTests.java
+++ b/org.eclipse.jdt.core.tests.model/src/org/eclipse/jdt/core/tests/model/JavaProjectTests.java
@@ -2883,21 +2883,21 @@
 public void testBug519435() throws Exception {
 	try {
 		final String externalResourcePath = getExternalResourcePath("bug519435.jar");
-		IFile file = getFile(externalResourcePath);
 		org.eclipse.jdt.core.tests.util.Util.createEmptyJar(externalResourcePath, JavaCore.VERSION_1_4);
 		createJavaProject("P", new String[0], new String[] {externalResourcePath}, "");
 		IProject project = getProject("P");
 		waitForManualRefresh();
 		waitForAutoBuild();
-		assertTrue(JavaModelManager.getJavaModelManager().deltaState.getExternalLibTimeStamps().containsKey(file.getFullPath()));
+		Path path = new Path(externalResourcePath);
+		assertTrue(JavaModelManager.getJavaModelManager().deltaState.getExternalLibTimeStamps().containsKey(path));
 
 		project.close(null);
 		simulateExitRestart();
-		assertFalse(JavaModelManager.getJavaModelManager().deltaState.getExternalLibTimeStamps().containsKey(file.getFullPath()));
+		assertFalse(JavaModelManager.getJavaModelManager().deltaState.getExternalLibTimeStamps().containsKey(path));
 
 		project.open(null);
 		simulateExitRestart();
-		assertTrue(JavaModelManager.getJavaModelManager().deltaState.getExternalLibTimeStamps().containsKey(file.getFullPath()));
+		assertTrue(JavaModelManager.getJavaModelManager().deltaState.getExternalLibTimeStamps().containsKey(path));
 	} finally {
 		deleteExternalResource("bug519435.jar");
 		deleteProject("P");