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

[Nick Boldt]

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