super.duplicateMethodInType(type, methodDecl);
}
+ // pr246393 - if we are going to complain about privileged, we clearly don't know what is going on, so don't
+ // confuse the user
+ public void parseErrorInsertAfterToken(
+ int start,
+ int end,
+ int currentKind,
+ char[] errorTokenSource,
+ String errorTokenName,
+ String expectedToken){
+ if (expectedToken.equals("privileged")) {
+ super.parseErrorNoSuggestion(start, end, currentKind, errorTokenSource, errorTokenName);
+ } else {
+ super.parseErrorInsertAfterToken(start, end, currentKind, errorTokenSource, errorTokenName, expectedToken);
+ }
+ }
+
}