Now SHA256 has been shown to be an adequate replacement for SHA1, use SHA256 for verifying all port downloads. Ref #2767
required by jdk issue #2791 Forein function interface library, which takes care of calling conventions of different platforms.