throw new IOException(dest.getPath() + " is supposed to be a directory");
}
logger.info("Parsing framework javascript");
js.parse();
logger.info("Generating scripts to " + dest);
js.generate(dest, false);
// Store the precomputed hash into a file.
logger.info("Saving framework version to filesystem");
Properties props = new Properties();
props.setProperty(CompiledGroup.UUID_PROPERTY, js.getGroupHash().toString());