Avoid a Java 1.7 collision, apparently.