Oracle has released another version of their SQL Developer tool, chocked full of some nice bug fixes. You might also want to read the release notes.