Java port of Ajaxterm