* @return the source as an HTML string
* @throws IOException
* if the source code could not be read
*/
public final String highlightSource(final InputStream file) throws IOException {
JavaSource source = new JavaSourceParser().parse(
new InputStreamReader(file, EncodingValidator.defaultCharset(defaultEncoding)));
JavaSource2HTMLConverter converter = new JavaSource2HTMLConverter();
StringWriter writer = new StringWriter();
JavaSourceConversionOptions options = JavaSourceConversionOptions.getDefault();