// and writes it to a file
//
WidgetOutputter outputter = new WidgetOutputter();
outputter.setWidgetFolder(DEFAULT_LOCAL_PATH);
File configXml = new File(parser.getUnzippedWidgetDirectory(), "config.xml");
outputter.outputXML(widget, configXml);
//
// Select a filename using a RandomGUID. Its important that flatpack names
// are not trivial to guess as currently there are no download restrictions.
//