I'm pretty sure the government couldn't afford to let Sun fail, every piece of software that I've seen with even a remote affiliation with the US gov. has been built on Java.