Fixed .gitignore problems; added java.util.logging functionality.
Merge branch 'master' of https://github.com/dirkriehle/wahlzeit.git