anchor.diff:  
   assert stdenv ? glibc;
   
  +# http://download.eclipse.org/eclipse/downloads/ is the main place to
  +# find the downloads needed for new versions
  +
   rec {
   
     buildEclipse = import ./build-eclipse.nix {
  
positive.code:   };
  
    eclipse-platform-47 = buildEclipse {
      name = "eclipse-platform-4.7";
      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-201706120950/eclipse-platform-4.7-linux-gtk-x86_64.tar.gz;
            sha256 = "0hrgijydxvd2zz1npv5qw8d79f48a6lsdw3qy1wqf7k59aqyg2fq";
          };
        "i686-linux" = fetchurl {
            url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.7-201706120950/eclipse-platform-4.7-linux-gtk.tar.gz;
            sha256 = "00m89j26m8nj190q144wx8d88mldx1z6i797p8isg3rhbz3x5dbc";
          };
      };
    };
  
negative.code:   };
  
    eclipse-sdk-47 = buildEclipse {
      name = "eclipse-sdk-4.7.1a";
      description = "Eclipse Oxygen Classic";
      sources = {
        "x86_64-linux" = fetchurl {
            url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.7.1a-201710090410/eclipse-SDK-4.7.1a-linux-gtk-x86_64.tar.gz;
            sha256 = "05xpdbig170rw7k5dx33dlyz187wv62mma8s5wxrqi7f4117sx4y";
          };
        "i686-linux" = fetchurl {
            url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.7.1a-201710090410/eclipse-SDK-4.7.1a-linux-gtk.tar.gz;
            sha256 = "09c9m88k1cm9bhd900p5yf2q9pijrymgjcbhmagz0fcwhldrv0ys";
          };
      };
    };
  