Minor refactorings
Removing buggy classpath entry
Removing all of the unneeded Clafer stuff from the Task integrator