Merge pull request #6777 from ardumont/add-sqldeveloper-derivation
[new] sqldeveloper derivation
lethalman 11 years ago a918bd01 328651bf