new String[] {
new String(exceptionType.readableName()),
new String(localBinding.readableName())},
new String[] {
new String(exceptionType.shortReadableName()),
new String(localBinding.shortReadableName())},
location.sourceStart,
location.sourceEnd);
}
}
public void unhandledWarningToken(Expression token) {