deleting some more unused classes (that were causing a compilation error in Java7)