- build.xml angepasst
Merge branch 'frontend' of https://github.com/4ipalino/PlagiatsJaeger.git into frontend