anchor.diff:            md5 = "bde55a2354dc224cf5f26e5320e72dac";
           };
     };
  +  eclipse_sdk_35 = eclipse-sdk-35; # backward compatibility, added 2016-01-30
   
     # !!! Use mirror://eclipse/.
   
  -  eclipse_sdk_36 = buildEclipse {
  +  eclipse-sdk-36 = buildEclipse {
       name = "eclipse-sdk-3.6.2";
       description = "Eclipse Classic";
       src =
  
positive.code:         };
      };
    };
  
    eclipse-platform = eclipse-platform-451;
  
  
negative.code:         };
      };
    };
    eclipse_sdk_37 = eclipse-sdk-37; # backward compatibility, added 2016-01-30
  
    eclipse-cpp-37 = buildEclipse {
      name = "eclipse-cpp-3.7";
      description = "Eclipse IDE for C/C++ Developers";
      src =
  