anchor.diff:    };
   
     ### Eclipse SDK
  +
  +  eclipse-sdk = eclipse-sdk-46; # always point to latest
   
     eclipse-sdk-46 = buildEclipse {
       name = "eclipse-sdk-4.6.2";
  
positive.code: 
    ### Eclipse Platform
  
    eclipse-platform = eclipse-platform-46;
  
    eclipse-platform-46 = buildEclipse {
      name = "eclipse-platform-4.6.2";
  
negative.code: 
    ### Eclipse CPP
  
    eclipse-cpp = eclipse-cpp-46; # always point to latest
  
    eclipse-cpp-46 = buildEclipse {
      name = "eclipse-cpp-4.6.0";
      description = "Eclipse IDE for C/C++ Developers, Neon release";
  