options.setShowLineNumbers(numbered);
JavaSourceConversionSettings settings = new JavaSourceConversionSettings(options) {
@Override
public IJavaSourceConverter createConverter() {
return new JavaSource2TeXConverter();
}
};
string = Java2Html.convertToHtml(string, settings);
string = new CodeHighlightTag().parseLatex(string.trim(), highlights, 7);
return "{\\small\n"+string+"}";