don't depend on a version of Java SE