private void deprecated(String s) { errorHandler.warning( new SyntaxError( syntaxErrorMessage("Deprecation warning", s, in.getLinepos(), in.getCharpos()))); }