Will they also be suing Sun for naming Java 5 “Tiger”?