2014-11-29 00:02:15 +01:00
|
|
|
--- ../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
|
2014-11-25 22:32:16 +01:00
|
|
|
@@ -79,6 +79,12 @@
|
|
|
|
|
public String[] getEntries() {
|
|
|
|
|
return (String[]) this.d.keySet().toArray(new String[this.d.size()]);
|
|
|
|
|
}
|
|
|
|
|
+
|
|
|
|
|
+ // CraftBukkit start
|
|
|
|
|
+ public Collection<JsonListEntry> 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;
|
|
|
|
|
|
