icse15: Checkpoint umllet model