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: { stdenv, fetchurl, makeDesktopItem, makeWrapper, patchelf, p7zip, jdk
  , coreutils, gnugrep, which, git, python, unzip
  }:
  
  assert stdenv.isLinux;
  