recover mayalias for antlr because of methods in java.lang.string