<!-- example of a what the macro expands to to generate a page header for the Java glossary -->
<!-- macro JglossHead "JDK" 2014-05-29 -->