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