Sync back BUILD files.

Change-Id: I0bd39a099eb2abd2069519d43abc09e808c92604
diff --git a/user/BUILD b/user/BUILD
index c261223..b576e4e 100644
--- a/user/BUILD
+++ b/user/BUILD
@@ -194,6 +194,7 @@
         ["src/com/google/gwt/regexp/shared/*.java"],
         exclude = ["**/package-info.java"],
     ),
+    compatible_with = ["//buildenv/target:android"],
     constraints = ["android"],
 )
 
@@ -395,7 +396,9 @@
     ] + glob([
         "src/com/google/gwt/user/client/rpc/core/java/util/*_CustomFieldSerializer*.java",
     ]),
+    compatible_with = ["//buildenv/target:android"],
     constraints = [
+        "android",
         "gwt",
         "public",
     ],
@@ -413,6 +416,7 @@
         "src/com/google/gwt/core/client/js/JsProperty.java",
         "src/com/google/gwt/core/client/js/JsType.java",
     ],
+    compatible_with = ["//buildenv/target:android"],
     constraints = [
         "android",
     ],
@@ -467,6 +471,7 @@
     srcs = [
         "src/com/google/gwt/core/shared/GwtIncompatible.java",
     ],
+    compatible_with = ["//buildenv/target:android"],
     constraints = [
         "android",
     ],