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?
My understanding is that libraries that reference GPL
code become GPL...even documents that have GPL font in
them become GPL...