anchor.diff:  
     pycharm-professional = buildPycharm rec {
       name = "pycharm-professional-${version}";
  -    version = "2019.3.2"; /* updated by script */
  +    version = "2019.3.3"; /* updated by script */
       description = "PyCharm Professional Edition";
       license = stdenv.lib.licenses.unfree;
       src = fetchurl {
         url = "https://download.jetbrains.com/python/${name}.tar.gz";
  -      sha256 = "1zp64pnzz2jy232g8fgkqmn34afbhbkkhgyb9z1v1qfb533p39ig"; /* updated by script */
  +      sha256 = "1305zvb5n2zqnny4l50qfv7jd1sj4ffhrig4rpfiqg65ncfpypwb"; /* updated by script */
       };
       wmClass = "jetbrains-pycharm";
       update-channel = "PyCharm RELEASE";
  
positive.code: 
    pycharm-community = buildPycharm rec {
      name = "pycharm-community-${version}";
      version = "2019.3.2"; /* updated by script */
      description = "PyCharm Community Edition";
      license = stdenv.lib.licenses.asl20;
      src = fetchurl {
        url = "https://download.jetbrains.com/python/${name}.tar.gz";
        sha256 = "06dzqjsq6jqgv8askzskm0bllzm9i8rzmhkjsv4na2phvdxf6qi2"; /* updated by script */
      };
      wmClass = "jetbrains-pycharm-ce";
      update-channel = "PyCharm RELEASE";
  
negative.code: 
    idea-ultimate = buildIdea rec {
      name = "idea-ultimate-${version}";
      version = "2019.3.3"; /* updated by script */
      description = "Integrated Development Environment (IDE) by Jetbrains, requires paid license";
      license = stdenv.lib.licenses.unfree;
      src = fetchurl {
        url = "https://download.jetbrains.com/idea/ideaIU-${version}-no-jbr.tar.gz";
        sha256 = "034aq5lf64apc152xr0889hg2xak2if9n5xl6zvd3f9q9srhivxn"; /* updated by script */
      };
      wmClass = "jetbrains-idea";
      update-channel = "IntelliJ IDEA RELEASE";
  