Mini-Java Code