*** Java is tagged like C++. In addition, "extends" and "implements"
constructs are tagged. Files are recognised by the extension .java.