More Java code...