I’ve been running my copy of JDeveloper at home with the Brushed Metal variant of the Apple Aqua L&F, and think that with JDeveloper 10.1.3, it looks better than the normal Aqua look and feel.
If you want to try it out, you need to do the following:
- Edit the file JDeveloper.app/Contents/Resources/jdev/jdev/bin/jdev-Darwin.conf
- Add the following line:AddVMOption -Dapple.awt.brushMetalLook=true
The next time you start JDeveloper, it have the brushed metal look.