anchor.diff:  
     phpstorm = buildPhpStorm rec {
       name = "phpstorm-${version}";
  -    version = "2019.3.3"; /* updated by script */
  +    version = "2019.3.4"; /* updated by script */
       description = "Professional IDE for Web and PHP developers";
       license = stdenv.lib.licenses.unfree;
       src = fetchurl {
         url = "https://download.jetbrains.com/webide/PhpStorm-${version}.tar.gz";
  -      sha256 = "03ag1a40l1k8sqlywcs7kjn02c65xm3l9riyimg4hx23yi17w18h"; /* updated by script */
  +      sha256 = "1bxi2i6vxpw8x4mvb4d5plqy4r938xjf8nkimfg0sspramcc4r5m"; /* updated by script */
       };
       wmClass = "jetbrains-phpstorm";
       update-channel = "PhpStorm RELEASE";
  
positive.code: 
    idea-community = buildIdea rec {
      name = "idea-community-${version}";
      version = "2019.3.3"; /* updated by script */
      description = "Integrated Development Environment (IDE) by Jetbrains, community edition";
      license = stdenv.lib.licenses.asl20;
      src = fetchurl {
        url = "https://download.jetbrains.com/idea/ideaIC-${version}.tar.gz";
        sha256 = "15rs866fp4lrsqdk13fnbg7ncdfrhky1m5sl90p32v45j90hagrg"; /* updated by script */
      };
      wmClass = "jetbrains-idea-ce";
      update-channel = "IntelliJ IDEA RELEASE";
  
negative.code: 
    pycharm-community = buildPycharm rec {
      name = "pycharm-community-${version}";
      version = "2019.3.4"; /* updated by script */
      description = "PyCharm Community Edition";
      license = stdenv.lib.licenses.asl20;
      src = fetchurl {
        url = "https://download.jetbrains.com/python/${name}.tar.gz";
        sha256 = "0k917si1d28fnmjyvi0fs7rkdyvi2vr0d138436lh300a6y0z6wr"; /* updated by script */
      };
      wmClass = "jetbrains-pycharm-ce";
      update-channel = "PyCharm RELEASE";
  