anchor.diff:  
       mkdir -p $out/bin
       for bin in Generator Imager ModelChecker PrologChecker Simulator Viewer; do
  -      makeWrapper ${jre}/bin/java $out/bin/groove-''${bin,,} \
  +      makeWrapper ${jre8}/bin/java $out/bin/groove-''${bin,,} \
           --add-flags "-jar $out/share/groove/bin/$bin.jar"
       done
   
  
positive.code: 
  in stdenv.mkDerivation rec {
    pname = "groove";
    version = "5.7.4";
  
    src = fetchurl {
      url = "mirror://sourceforge/groove/groove/${version}/${pname}-${builtins.replaceStrings ["."] ["_"] version}-bin.zip";
      sha256 = "1cl3xzl3n8b9a7h5pvnv31bab9j9zaw07ppk8whk8h865dcq1d10";
    };
  
    nativeBuildInputs = [ unzip makeWrapper icoutils ];
  
negative.code: { lib, stdenv, fetchurl, unzip, makeWrapper, makeDesktopItem, icoutils, jre8 }:
  
  let
    desktopItem = makeDesktopItem {
  