jbosstools/jbosstools-download.jboss.org — pull request #393 by dgolovin (2014-08-09 01:07:09+00:00)
Title: [JBIDE-18035] Need to switch jst.jsdt to the latest tested Tern v.0.4.0.201408082314

fix renames build.xml to build-${previous.version}.xml, creates new build xml
to mirror latest tern.java repository