[9] RFR of 5100935: No way to access the 64-bit integer multiplication of 64-bit CPUs efficiently

[Brian Burkhalter]

Please review at your convenience.

Issue:	https://bugs.openjdk.java.net/browse/JDK-5100935
Patch:	http://cr.openjdk.java.net/~bpb/5100935/webrev.00/

Summary: Add multiplyFull() and multiplyHigh() methods to java.lang.Math.

This change addresses the Java specification and implementation only. The addition of compiler intrinsics for these methods will be tracked separately.

Thanks,

Brian