Post

Following a suggestion from Stuart Marks (https://stuartmarks.wor..., I add JavaDoc as a search engine to my browser. I just updated the search URL to https://docs.oracle.com/...