GPS Time Representation library
JSR-310 has classes TAIInstant
and UTCInstant
which would help solve this problem (as GPS time scale is a variation of TAI). These are located in the ThreeTen-Extra project.
This website seems to be doing the conversion on the fly in javascript. link text