[tor-commits] [doctor/java] Remove metrics-specific page header and footer.