I have merged your two patches into Nixpkgs master now. I made minor modifications to reintroduce the `eclipse-platform-46` attribute and to use HTTPS downloads. /rycee