Use Unicode codepoints to fix javac when not using UTF-8 encoding
Use Unicode codepoints to fix javac when not using UTF-8 encoding

NicolaasWeideman/RegexStaticAnalysis,NicolaasWeideman/RegexStaticAnalysis,NicolaasWeideman/RegexStaticAnalysis