diff --git a/tools/sdkmanager/libs/sdklib/src/com/android/sdklib/project/ProjectProperties.java b/tools/sdkmanager/libs/sdklib/src/com/android/sdklib/project/ProjectProperties.java
index 69a16bee8..f9ae583b7 100644
--- a/tools/sdkmanager/libs/sdklib/src/com/android/sdklib/project/ProjectProperties.java
+++ b/tools/sdkmanager/libs/sdklib/src/com/android/sdklib/project/ProjectProperties.java
@@ -241,7 +241,9 @@ public final class ProjectProperties {
             if (comment != null) {
                 writer.write(comment);
             }
-            writer.write(String.format("%s=%s\n", entry.getKey(), entry.getValue()));
+            String value = entry.getValue();
+            value = value.replaceAll("\\\\", "\\\\\\\\");
+            writer.write(String.format("%s=%s\n", entry.getKey(), value));
         }
         
         // close the file to flush