Then I put the titles into the IDE's toolbar:
When it's done, you'll be able to select a title and then the browser will open, displaying the corresponding article. (I played with Rich Unger's JDIC browser updated to 6.0, but couldn't get it to work on Ubuntu with Firefox.) The real challenge will be how to figure out programmatically when the Javalobby page is updated, so that the toolbar can be refreshed whenever that happens. Does anyone have any ideas for how to do this? (Maybe I need to download the whole page, compare the size of the page to the previous size of the page, and then reload if there is a difference? Or, better, count the number of titles and then, if there is a difference, update the toolbar. Guess I answered my own question.) Once the plugin is finished I'll make it available on the Plugin Portal, together with the source code.