Cleanup cruft left in RestDocumentation.java