a tool to look up the Java Term