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

Update Tern.java to 0.7.1 ------------------------- Key: JBIDE-19276 URL: https://issues.jboss.org/browse/JBIDE-19276 Project: Tools (JBoss Tools) Issue Type: Task Components: jsp/jsf/xml/html source editing Affects Versions: 4.2.2.Final Reporter: Alexey Kazakov Assignee: Denis Golovin Priority: Critical Fix For: 4.2.3.Beta1 Because of JBIDE-19184, we need to update the current Tern.java (0.7.0) to 0.7.1 http://oss.opensagres.fr/tern.repository/0.7.1/