[jbosstools-dev] FYI: recent changes to JBoss Tools parent pom: remove unused profile; set new defaults for jbosstools.test.jre.* variables

I've got a couple minor changes queued or completed for the 4.5.0.AM1-SNAPSHOT parent pom. * remove the unused deploy-pr profile [DONE] * set jbosstools.test.jre.* = ${JAVA_HOME} ( https://issues.jboss.org/browse/JBIDE-24380 ) [PROPOSED - any objections?] Thanks, -- Nick Boldt Productization Lead :: JBoss Tools & Dev Studio IM: @nickboldt / @nboldt / http://nick.divbyzero.com TRIED. TESTED. TRUSTED. @redhatnews Red Hat