lab1_git: 1.2 added two patches HelloWorldDe.patch and
HelloWorldFr.patch. Only one of them can be applied at a time, hence
only De patch worked (and HelloWorld.java will therefore print the text
in German).