anchor.diff:  { stdenv, fetchurl, makeDesktopItem, makeWrapper, patchelf, p7zip, jdk
  -, coreutils, gnugrep, which, git, python
  +, coreutils, gnugrep, which, git, python, unzip
   }:
   
   assert stdenv.isLinux;
  
positive.code:     '';
  
    };
  
    buildPycharm = { name, version, build, src, license, description }:
      (mkIdeaProduct rec {
  
negative.code: 
  {
  
    android-studio = buildAndroidStudio rec {
      name = "android-studio-${version}";
      version = "0.8.10";
      build = "135.1428667";
      description = "Android development environment based on IntelliJ IDEA";
      license = stdenv.lib.licenses.asl20;
      src = fetchurl {
        url = "https://dl.google.com/dl/android/studio/ide-zips/${version}" +
              "/android-studio-ide-${build}-linux.zip";
        sha256 = "5736a92ffda24233026ff45a47f1b4f9567ba40347cfa0c9f351112e729b5401";
      };
    };
  
    idea-community = buildIdea rec {
      name = "idea-community-${version}";
      version = "13.1.4b";
  