--- /home/matt/mc-dev-private//net/minecraft/server/IDataManager.java 2015-02-26 22:40:22.759608138 +0000
+++ src/main/java/net/minecraft/server/IDataManager.java 2015-02-26 22:40:22.759608138 +0000
@@ -23,4 +23,6 @@
File getDataFile(String s);
String g();
+
+ java.util.UUID getUUID(); // CraftBukkit
}