anchor.diff:  
     ### Eclipse Scala SDK
   
  -  eclipse-scala-sdk = eclipse-scala-sdk-441; # always point to latest
  -
  -  eclipse-scala-sdk-441 = buildEclipse {
  +  eclipse-scala-sdk = buildEclipse {
       name = "eclipse-scala-sdk-4.4.1";
       description = "Eclipse IDE for Scala Developers";
       src =
  
positive.code:         };
    };
  
    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 {
      name = "eclipse-platform-4.9";
      description = "Eclipse Platform 2018-09";
      sources = {
  
negative.code: 
    ### Eclipse SDK
  
    eclipse-sdk = buildEclipse {
      name = "eclipse-sdk-4.9";
      description = "Eclipse 2018-09 Classic";
      sources = {
  