P.S. An OT question in case one of us knows

You've heard Java is going GPL right?


What happens if ADS were to use GPL java?

No way it can happen soon :)

My understanding is that libraries that reference GPL
code become GPL...even documents that have GPL font in
them become GPL...

There is a so-called a Gnu ClassPath exception : http://www.gnu.org/software/classpath/license.html , so it's suppose to protect us from being GPLized ...