Searched refs:outputXmlFile (Results 1 – 1 of 1) sorted by relevance
133 String outputXmlFile = outputPathPrefix + ".xml"; in main() local137 xmlGenerator = new XMLGenerator(outputXmlFile) { in main()164 System.err.println("Can't initialize XML Generator " + outputXmlFile); in main()273 System.err.println("cannot dump xml to " + outputXmlFile); in main()