ViewProcessor.setForceIndent(indent);
ViewProcessor.setOutputCharset(outputCharset);
FileOutputStream out = new FileOutputStream(preprocessedFile);
URLStreamManager manager = new URLStreamManager(url);
Document screen = ViewProcessor.getView(manager.open(), url.getPath(), null);
ViewProcessor.generateHTML(url.toString(), screen, out);
manager.close();
out.flush();
out.close();