SDK for 2.3.1 -- DO NOT MERGE

Change-Id: I2be72f53a6fe2d2bc1371f57439a4c5da972dcbb
diff --git a/sdk/plat_tools_source.properties b/sdk/plat_tools_source.properties
index ba79b6c..9528e79 100644
--- a/sdk/plat_tools_source.properties
+++ b/sdk/plat_tools_source.properties
@@ -1,2 +1,2 @@
 Pkg.UserSrc=false
-Pkg.Revision=1
+Pkg.Revision=2
diff --git a/sdk/platform_source.properties b/sdk/platform_source.properties
index 6dadea5..a834f39 100644
--- a/sdk/platform_source.properties
+++ b/sdk/platform_source.properties
@@ -1,6 +1,6 @@
-Pkg.Desc=Android SDK Platform 2.3_r1
+Pkg.Desc=Android SDK Platform 2.3.1_r2
 Pkg.UserSrc=false
-Platform.Version=2.3
-Pkg.Revision=1
+Platform.Version=2.3.1
+Pkg.Revision=2
 AndroidVersion.ApiLevel=9
 #AndroidVersion.CodeName=