workspace startup check can now be disabled
release v1.3.1
removed unused file from build.properties