[Java] Class InputHandler.insert_char