Changes

#15 (Jul 8, 2020, 5:20:05 AM)

1. Minor refactorings — Krishna Narasimhan / githubweb
2. Removing buggy classpath entry — Krishna Narasimhan / githubweb
3. Removing all of the unneeded Clafer stuff from the Task integrator — Krishna Narasimhan / githubweb

#14 (Jul 7, 2020, 5:20:05 AM)

1. Revert "HACK COMMIT NEEDS TO BE REVERTED. KRISHNA" — Krishna Narasimhan / githubweb