Additional fix for Bug 394055 - [refactoring] "use supertype where
possible" does not work with declared lifting:
- avoid using internal __OT__ prefix during rewrite (nested teams)
diff --git a/org.eclipse.jdt.core/model/org/eclipse/jdt/core/BindingKey.java b/org.eclipse.jdt.core/model/org/eclipse/jdt/core/BindingKey.java
index 7039208..93f342d 100644
--- a/org.eclipse.jdt.core/model/org/eclipse/jdt/core/BindingKey.java
+++ b/org.eclipse.jdt.core/model/org/eclipse/jdt/core/BindingKey.java
@@ -33,6 +33,9 @@
* @param key the key to decode
*/
public BindingKey(String key) {
+//{ObjectTeams: never surface __OT__ role prefix:
+ key = key.replaceAll("\\$__OT__", "\\$"); //$NON-NLS-1$ //$NON-NLS-2$
+// SH}
this.key = key;
}