String fileName= className + DEXMLVM_ENDING;
// Some processes depending on this processor don't actually need the
// String version of the DEXMLVM files. As generating them takes some
// time, we want to make sure we only generate it when necessary.
OutputFile result= new OutputFile(new DelayedXmlvmSerializationProvider(document));
result.setLocation(arguments.option_out());
result.setFileName(fileName);
return result;