--- /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
 }