} catch (CoreException e) {
e.printStackTrace();
}
// Generate the Classical B source
FileGenerator generator= new FileGenerator(model, project);
try {
generator.generateAndWrite();
} catch (Exception e1) {
// TODO Auto-generated catch block
e1.printStackTrace();
}