anchor.diff:  
   {
   
  +  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";
  
positive.code:       icon = loName;
      };
  
      buildInputs = [ makeWrapper patchelf p7zip ];
  
      patchPhase = ''
  
  
negative.code:     '';
  
    };
  
    buildAndroidStudio = { name, version, build, src, license, description }:
      (mkIdeaProduct rec {
        inherit name version build src;
        product = "Studio";
        meta = with stdenv.lib; {
          homepage = https://developer.android.com/sdk/installing/studio.html;
          inherit description license;
          longDescription = ''
            Android development environment based on IntelliJ
            IDEA providing new features and improvements over
            Eclipse ADT and will be the official Android IDE
            once it's ready.
          '';
          platforms = platforms.linux;
          maintainers = with maintainers; [ edwtjo ];
        };
      });
  
    buildPycharm = { name, version, build, src, license, description }:
      (mkIdeaProduct rec {
  