Contains Java code for a page-tagging interface.