1 files changed, 8 insertions, 0 deletions
diff --git a/src/main/java/net/minecraft/server/PropertyManager.java b/src/main/java/net/minecraft/server/PropertyManager.java
index 5108b1cf..ae0feee2 100644
--- a/src/main/java/net/minecraft/server/PropertyManager.java
+++ b/src/main/java/net/minecraft/server/PropertyManager.java
@@ -60,6 +60,10 @@ public class PropertyManager {
         }
     }
 
+    public File c() {
+        return this.c;
+    }
+
     public String getString(String s, String s1) {
         if (!this.properties.containsKey(s)) {
             s1 = this.getOverride(s, s1); // CraftBukkit
@@ -90,6 +94,10 @@ public class PropertyManager {
         }
     }
 
+    public void a(String s, Object object) {
+        this.properties.setProperty(s, "" + object);
+    }
+
     public void setBoolean(String s, boolean flag) {
         this.properties.setProperty(s, "" + flag);
         this.savePropertiesFile();