Bug-filled driver.java