don't change java identifiers when sanitizing