JBIDE-14012: revert build.properties