Compatibility with older JDK.