Java should require use of latest fdlibm 5.3

For many years, Java has required use of the algorithms from fdlibm 5.2. However, fdlibm 5.2 has several bugs in corner cases of pow and tan. Now that a corrected version of fdlibm is available, the StrictMath spec should be updated to require the corrected fdlibm.