The SQL-Developer in the version 4 Patch 4.0.1.14 was released on the 25th of february.
The new features of the Release 4 can be found here.