--- ../work/decompile-8eb82bde//net/minecraft/server/JsonList.java 2014-11-28 17:43:43.249707432 +0000 +++ src/main/java/net/minecraft/server/JsonList.java 2014-11-28 17:38:18.000000000 +0000 @@ -79,6 +79,12 @@ public String[] getEntries() { return (String[]) this.d.keySet().toArray(new String[this.d.size()]); } + + // CraftBukkit start + public Collection getValues() { + return this.d.values(); + } + // CraftBukkit end public boolean isEmpty() { return this.d.size() < 1; @@ -122,7 +128,7 @@ return this.d; } - public void save() { + public void save() throws IOException { // CraftBukkit - Added throws Collection collection = this.d.values(); String s = this.b.toJson(collection); BufferedWriter bufferedwriter = null; @@ -136,7 +142,7 @@ } - public void load() { + public void load() throws IOException { // CraftBukkit - Added throws Collection collection = null; BufferedReader bufferedreader = null;