fix regression in test713_roleImplementsInheritedAbstractMethod2:

- don't let a problem method replace an existing method.

1 files changed, 3 insertions, 0 deletions

diff --git a/org.eclipse.jdt.core/compiler/org/eclipse/objectteams/otdt/internal/core/compiler/statemachine/transformer/RoleSplitter.java b/org.eclipse.jdt.core/compiler/org/eclipse/objectteams/otdt/internal/core/compiler/statemachine/transformer/RoleSplitter.java
index dceebd2bc..96e3b8adb 100644
--- a/org.eclipse.jdt.core/compiler/org/eclipse/objectteams/otdt/internal/core/compiler/statemachine/transformer/RoleSplitter.java
+++ b/org.eclipse.jdt.core/compiler/org/eclipse/objectteams/otdt/internal/core/compiler/statemachine/transformer/RoleSplitter.java
@@ -387,6 +387,9 @@ public class RoleSplitter
                 if (m.isPrivate())	 	continue; // not inherited
                 if (m.isStatic())       continue; // not applicable in roles
                 if (!m.isPublic()) { 			  // not visible via interface
+                	MethodBinding existingMethod = TypeAnalyzer.findMethod(roleIfcDecl.scope, ifcBinding, m.selector, m.parameters);
+					if (existingMethod != null && existingMethod.isValidBinding())
+                		continue;
                 	ProblemMethodBinding problemMethod = new ProblemMethodBinding(m, m.selector, m.parameters, ProblemReasons.NotVisible);
                 	problemMethod.modifiers = m.modifiers;
                 	problemMethod.modifiers |= AccAbstract|AccSemicolonBody; // don't confuse the MethodVerifier with class method in ifc