Moved code from storm-dsls project to new project.