anchor.diff:      description = "Professional IDE for Web and PHP developers";
       license = stdenv.lib.licenses.unfree;
       src = fetchurl {
  -      url = "http://download.jetbrains.com/webide/PhpStorm-${version}.tar.gz";
  +      url = "https://download.jetbrains.com/webide/PhpStorm-${version}.tar.gz";
         sha256 = "01b8vx6swi71sd0rc7i1jnicilqp11ch3zrm8gwb6xh1pmmpdirf";
       };
     };
  
positive.code:     description = "Integrated Development Environment (IDE) by Jetbrains, community edition";
      license = stdenv.lib.licenses.asl20;
      src = fetchurl {
        url = "http://download.jetbrains.com/idea/ideaIC-${version}.tar.gz";
        sha256 = "01wcpzdahkh3li2l3k2bgirnlp7hdxk9y1kyrxc3d9d1nazq8wqn";
      };
    };
  
negative.code:     description = "PyCharm 4.0 Community Edition";
      license = stdenv.lib.licenses.asl20;
      src = fetchurl {
        url = "https://download.jetbrains.com/python/${name}.tar.gz";
        sha256 = "0jh0sxi5dpgpw7ga018fby7zvb4i9k49vwl8422lfcrgckdz9nv2";
      };
    };
  