[Java] Class InputHandler.document_end