code cleaning
Merge branch '3.0' of git://github.com/mapbender/mapbender into 3.0