Let's make Java Happy