A terminal emulator for Java I/O