Mark Recognizer.getTokenErrorDisplay as deprecated (fixes #480)