anchor.diff:          };
     };
   
  -  eclipse-modeling-36 = buildEclipse {
  -    name = "eclipse-modeling-3.6.2";
  -    description = "Eclipse Modeling Tools (includes Incubating components)";
  -    src =
  -      if stdenv.hostPlatform.system == "x86_64-linux" then
  -        fetchurl {
  -          url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/technology/epp/downloads/release/helios/SR2/eclipse-modeling-helios-SR2-incubation-linux-gtk-x86_64.tar.gz;
  -          sha1 = "e96f5f006298f68476f4a15a2be8589158d5cc61";
  -        }
  -      else
  -        fetchurl {
  -          url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/technology/epp/downloads/release/helios/SR2/eclipse-modeling-helios-SR2-incubation-linux-gtk.tar.gz;
  -          sha1 = "696377895bb26445de39d82a916b7e69edb1d939";
  -        };
  -  };
  -  eclipse_modeling_36 = eclipse-modeling-36; # backward compatibility, added 2016-01-30
  -
     ### Eclipse Platform
   
  -  eclipse-platform = eclipse-platform-49; # always point to latest
  -
  -  eclipse-platform-47 = buildEclipse {
  -    name = "eclipse-platform-4.7.3a";
  -    description = "Eclipse Platform Oxygen";
  -    sources = {
  -      "x86_64-linux" = fetchurl {
  -        url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.7.3a-201803300640/eclipse-platform-4.7.3a-linux-gtk-x86_64.tar.gz;
  -          sha512 = "caf86cd6efaf66258c75434f1adf552587a7395d57dba4cfd20f86196308cf942866d931f4b352f9d39a6fbf14444fcd2167e6bfd146a28c96c229bb9988156a";
  -        };
  -      "i686-linux" = fetchurl {
  -          url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.7.3a-201803300640/eclipse-platform-4.7.3a-linux-gtk.tar.gz;
  -          sha512 = "c633da467774e4ab40f8d51d07b8e7d8403f26f23365c3c3ceeaeec1039b8c23c7508cee1f786bf52db64c7b84e0f91cb31a2848a74ac8271f8504934407bd5c";
  -        };
  -    };
  -  };
  -
  -  eclipse-platform-48 = buildEclipse {
  -    name = "eclipse-platform-4.8";
  -    description = "Eclipse Platform Photon";
  -    sources = {
  -      "x86_64-linux" = fetchurl {
  -        url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.8-201806110500/eclipse-platform-4.8-linux-gtk-x86_64.tar.gz;
  -          sha512 = "ccce2b954938479e42ef3f9b78f74b24ae4cae7499546fa4f9a55ec1849e1acfd06315d4529b11474a8b3d1142c9409c581edfa571baaf1342ab062f02467af2";
  -        };
  -      "i686-linux" = fetchurl {
  -          url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.8-201806110500/eclipse-platform-4.8-linux-gtk.tar.gz;
  -          sha512 = "f5f407727e22b848931cf38f71b1a0c30a9778aa227c3df137dcceec2fba2ecc309cbfa8b4a660b814d2edb60f65110381497b4325781cab4d6402784139e32b";
  -        };
  -    };
  -  };
  -
  -  eclipse-platform-49 = buildEclipse {
  +  eclipse-platform = buildEclipse {
       name = "eclipse-platform-4.9";
       description = "Eclipse Platform 2018-09";
       sources = {
  
positive.code:     };
    };
  
    eclipse-sdk-37 = buildEclipse {
      name = "eclipse-sdk-3.7";
      description = "Eclipse Classic";
      sources = {
        "x86_64-linux" = fetchurl {
            url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops/R-3.7.2-201202080800/eclipse-SDK-3.7.2-linux-gtk-x86_64.tar.gz;
            sha256 = "0nf4nv7awhp1k8b1hjb7chpjyjrqnyszsjbc4dlk9phpjv3j4wg5";
          };
        "i686-linux" = fetchurl {
            url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops/R-3.7.2-201202080800/eclipse-SDK-3.7.2-linux-gtk.tar.gz;
            sha256 = "1isn7i45l9kyn2yx6vm88jl1gnxph8ynank0aaa218cg8kdygk7j";
          };
      };
    };
    eclipse_sdk_37 = eclipse-sdk-37; # backward compatibility, added 2016-01-30
  
    ### Eclipse Java
  
    eclipse-java = eclipse-java-49;
  
    eclipse-java-49 = buildEclipse {
      name = "eclipse-java-4.9.0";
      description = "Eclipse IDE for Java Developers";
      src =
  
negative.code: 
    ### Eclipse CPP
  
    eclipse-cpp = buildEclipse {
      name = "eclipse-cpp-4.7.0";
      description = "Eclipse IDE for C/C++ Developers, Oxygen release";
      src =
  