Ever get tired of the huge number of editor tabs you always have open in JDeveloper? Frequently find yourself using the File->Close All command to clean out the clutter? The Auto-Close extension is made for you!
The Auto Close Editors extension adds a preference page to JDeveloper which allows you to configure the automatic closing of documents. You can choose to have only a specific number of documents open at a time, and to automatically close all documents on exit.
This extension is available now via Help->Check for Updates.
If you can't connect with Check for Updates, you can download the extension directly from here. After downloading this zip file, use Help->Check for Updates and choose the Install from Local File option on the Source page. Point the wizard at the zip file you downloaded.
Feel free to let me know about any problems you have with the extension in the comments section below, and I'll do my best to fix them.
Update: Note, this extension is for 10.1.3 Preview. There's also a release for internal users who are using builds after preview (the correct version will be installed if you use Check for Updates). Sorry, but I don't have time to backport this to 10.1.2 or prior. If you want the sourcecode, I'd be glad to send you it ;)