From dc83a9a03898fff88a5bf865536213a6a073666b Mon Sep 17 00:00:00 2001
From: Martin Lippert <lippert@acm.org>
Date: Wed, 25 Apr 2012 10:41:33 +0200
Subject: [PATCH] added default implementation for new method in IResource
 (since Eclipse 3.8)

---
 .../springframework/ide/eclipse/core/io/ExternalFile.java    | 5 +++++
 1 file changed, 5 insertions(+)

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;
 	}
+
 }