Character.isJavaIdentifierStart and Character.isJavaIdentifierPart are complicated java functions. These need to be converted to javascript in an automated manner. Do this by running for every possible input and compressing the output using a decision tree.