add //@formatter:off and //@formatter:on tags to the big comment in
WinBiap.java so that the formatting is not destroyed. This needs a
special Eclipse setting to be turned on.