fix imports in protege4
fix the java version to 1.7
add more gitignore files