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