[jbosstools-issues] [JBoss JIRA] (JBIDE-19276) Update Tern.java to 0.7.1