[BLUEJ-520] Dead links on bluej.org
[http://www.bluej.org/extensions/writingextensions.html] contains some dead links:
- [BlueJ Extensions API|http://www.bluej.org/extensions/extensionsAPI/index.html]
- [full sample source code|http://www.bluej.org/extensions/SimpleExtension.java]
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 3.1.4