anchor.diff:          };
       };
     };
  -
  -  eclipse_sdk_442 = buildEclipse {
  +  eclipse_sdk_44 = eclipse-sdk-44; # backward compatibility, added 2016-01-30
  +
  +  eclipse-sdk-442 = buildEclipse {
       name = "eclipse-sdk-4.4.2";
       description = "Eclipse Classic";
       sources = {
  
positive.code:           md5 = "bde55a2354dc224cf5f26e5320e72dac";
          };
    };
  
    # !!! Use mirror://eclipse/.
  
    eclipse_sdk_36 = buildEclipse {
      name = "eclipse-sdk-3.6.2";
      description = "Eclipse Classic";
      src =
  
negative.code:           sha256 = "1bh8ykliqr8wbciv13vpiy50rvm7yszk7y8dslr796dbwhi5b1cj";
          };
    };
    eclipse_sdk_36 = eclipse-sdk-36; # backward compatibility, added 2016-01-30
  
    eclipse-scala-sdk-40 = buildEclipse {
      name = "eclipse-scala_sdk-4.0.0";
      description = "Eclipse IDE for Scala Developers";
      src =
  