[JBIDE-18035] Update to latest tern.java