do not depend on a version of Java SE