am d7013ca7: Merge change 8193 into donut

Merge commit 'd7013ca7ab781824da6eb574094cf05b55abab92'

* commit 'd7013ca7ab781824da6eb574094cf05b55abab92':
  Add one more pixel of padding to the top of the Google logo used in the search widget.
diff --git a/res/xml/default_workspace.xml b/res/xml/default_workspace.xml
index 9197c30..60bfe82 100644
--- a/res/xml/default_workspace.xml
+++ b/res/xml/default_workspace.xml
@@ -42,12 +42,14 @@
         launcher:x="2"
         launcher:y="3" />
 
+<!--
     <favorite
         launcher:packageName="com.google.android.apps.maps"
         launcher:className="com.google.android.maps.MapsActivity"
         launcher:screen="1"
         launcher:x="3"
         launcher:y="3" />
+-->
 
     <favorite
         launcher:packageName="com.android.mms"