anchor.diff:  
     jsonedit = buildEclipsePlugin rec {
       name = "jsonedit-${version}";
  -    version = "1.0.2";
  +    version = "1.1.0";
   
       srcFeature = fetchurl {
         url = "https://boothen.github.io/Json-Eclipse-Plugin/features/jsonedit-feature_${version}.jar";
  -      sha256 = "0zh9ihvaji2v4d4980va8p1c38x5dn2mcw74qmqkwxlz4nglpsr0";
  +      sha256 = "1qqbzh9sv0s9p0irim7kimvzdkw0hg6yv090bz5ifpzqdxc4v9r5";
       };
   
       srcPlugins =
  
positive.code:           };
        in
          map fetch [
            { n = "core"; h = "0zc1jpda6sviazsgvvig8zk2zmz0ac1mch5qs8lbcbdmrpq732ni"; }
            { n = "editor"; h = "06k2mx7ka0bn0i8dfbv89jna9kmy8wnlwkg9yp1n1pgqmr01944s"; }
            { n = "folding"; h = "1525blyhrl495vz5r98dyfws6kcgnhmyf9qgm5vkplhb27474yca"; }
            { n = "model"; h = "0rnnkdl3hrp0sxchfzfad97ya5swsw56wfb5zvjwffbby4vln8fd"; }
            { n = "outline"; h = "06bday90a7sdpv4idp69m2831z3r99q248n2avw2npc3gzkfy3kl"; }
            { n = "preferences"; h = "1d9pcnq6j5p2smkfldb9dw8gdw5nqlmpcy9kh5n34jcyzf37cdac"; }
            { n = "text"; h = "0r3g2qhnhl6misi0rrmw152gw0nb7zlcjy7019qvprn9mhwn1n84"; }
          ];
  
      propagatedBuildInputs = [ antlr-runtime_4_5 ];
  
      meta = with stdenv.lib; {
        description = "Adds support for JSON files to Eclipse";
  
negative.code:     };
    };
  
    antlr-runtime_4_7 = buildEclipsePluginBase rec {
      name = "antlr-runtime-4.7.1";
  
      src = fetchurl {
        url = "http://www.antlr.org/download/${name}.jar";
        sha256 = "07f91mjclacrvkl8a307w2abq5wcqp0gcsnh0jg90ddfpqcnsla3";
      };
  
      buildCommand = ''
        dropinDir="$out/eclipse/dropins/"
        mkdir -p $dropinDir
        cp -v $src $dropinDir/${name}.jar
      '';
  
      meta = with stdenv.lib; {
        description = "A powerful parser generator for processing structured text or binary files";
        homepage = http://www.antlr.org/;
        license = licenses.bsd3;
        platforms = platforms.all;
        maintainers = [ maintainers.rycee ];
      };
    };
  
    anyedittools = buildEclipsePlugin rec {
      name = "anyedit-${version}";
      version = "2.7.1.201709201439";
  