The shell for the Java Platform