Mention tern.java in the manual