Make requested changes to JasminLexer