A Java terminal