Fix jre.compilation.profile in build.properties