Records occurrances of misused characters. Eg pipe (|) instead if I
254255256257258259260261262263264
*/ public TokenErrorRecorder getTokenErrorRecorder() { if(recorder == null) { synchronized(this) { if(recorder == null) { recorder = new ObfuscatedCharacterTokenErrorRecorder(); } notifyAll(); } } return recorder;