anchor.diff:    # directories will be installed.
     buildEclipseUpdateSite = { name, ... } @ attrs:
       buildEclipsePluginBase (attrs // {
  -      phases = [ "unpackPhase" "installPhase" ];
  +      dontBuild = true;
  +      doCheck = false;
   
         installPhase = ''
           dropinDir="$out/eclipse/dropins/${name}"
  
positive.code:     buildEclipsePluginBase (attrs // {
        srcs = [ srcFeature srcPlugin ];
  
        phases = [ "installPhase" ];
  
        installPhase = ''
          dropinDir="$out/eclipse/dropins/${name}"
  
          mkdir -p $dropinDir/features
  
negative.code:         mkdir -p $dropinDir/plugins
          cp -v ${srcPlugin} $dropinDir/plugins/${name}.jar
        '';
      });
  
    # Helper for the case where the build directory has the layout of an
  