return options.deprecation || (options.beautify && !options.nowrite);
return KjcOptions.deprecation || (KjcOptions.beautify && !KjcOptions.nowrite);
    public boolean parseComments() {	return options.deprecation || (options.beautify && !options.nowrite);    }