Tern plugin used for tern.java JUG demo