DERBY-3234: Commit John Embretsen's patch which corrects the public api's description of our supported platforms.
db/derby/code/trunk/published_api_overview.html