A Better Java than Java?