PROBCORE-546 Got rid of a lot of unnecessary proof classes.
Merge remote-tracking branch 'origin/develop' into develop
Fixed some bugs found by FindBugs
Fixed possible Null pointer error. Found with FindBugs.
removed unused files
fixed some warnings
removed nonexisting package from Manifest (PROBCORE-546)
new ui
helpers for debugging new ui
new syncserver version
le build c'est moi
ui