diff --git a/plugins/org.springframework.ide.eclipse.core/src/org/springframework/ide/eclipse/core/io/ExternalFile.java b/plugins/org.springframework.ide.eclipse.core/src/org/springframework/ide/eclipse/core/io/ExternalFile.java
index d4e8374bcf..f2bc911266 100644
--- a/plugins/org.springframework.ide.eclipse.core/src/org/springframework/ide/eclipse/core/io/ExternalFile.java
+++ b/plugins/org.springframework.ide.eclipse.core/src/org/springframework/ide/eclipse/core/io/ExternalFile.java
@@ -210,6 +210,10 @@ public void accept(IResourceVisitor visitor, int depth, boolean includePhantoms)
 		// no-op
 	}
 
+	public void accept(IResourceProxyVisitor visitor, int depth, int memberFlags) throws CoreException {
+		// no-op
+	}
+
 	public void accept(IResourceVisitor visitor, int depth, int memberFlags) throws CoreException {
 		// no-op
 	}
@@ -614,4 +618,5 @@ public IPathVariableManager getPathVariableManager() {
 	public boolean isFiltered() {
 		return false;
 	}
+
 }