diff options
| author | Erik Broes <erikbroes@grum.nl> | 2011-02-23 13:56:36 +0100 |
|---|---|---|
| committer | Erik Broes <erikbroes@grum.nl> | 2011-02-23 14:12:33 +0100 |
| commit | 09aa37fe4a126c5fc2e557ae5b68bb58cd0a3059 (patch) | |
| tree | 4d813de09480cee3083997ee192c3c9b9e35e863 /src/main/java/net/minecraft/server/PropertyManager.java | |
| parent | 332d9c4f1884a03152c11ccb0b63c2e3127618ea (diff) | |
| download | craftbukkit-09aa37fe4a126c5fc2e557ae5b68bb58cd0a3059.tar craftbukkit-09aa37fe4a126c5fc2e557ae5b68bb58cd0a3059.tar.gz craftbukkit-09aa37fe4a126c5fc2e557ae5b68bb58cd0a3059.tar.lz craftbukkit-09aa37fe4a126c5fc2e557ae5b68bb58cd0a3059.tar.xz craftbukkit-09aa37fe4a126c5fc2e557ae5b68bb58cd0a3059.zip | |
Generic code cleanup
Diffstat (limited to 'src/main/java/net/minecraft/server/PropertyManager.java')
| -rw-r--r-- | src/main/java/net/minecraft/server/PropertyManager.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/java/net/minecraft/server/PropertyManager.java b/src/main/java/net/minecraft/server/PropertyManager.java index ef7569d2..58092bfe 100644 --- a/src/main/java/net/minecraft/server/PropertyManager.java +++ b/src/main/java/net/minecraft/server/PropertyManager.java @@ -34,14 +34,14 @@ public class PropertyManager { private OptionSet options = null; public PropertyManager(final OptionSet options) { - this((File)options.valueOf("config")); + this((File) options.valueOf("config")); this.options = options; } private <T> T getOverride(String name, T value) { if ((options != null) && (options.has(name))) { - return (T)options.valueOf(name); + return (T) options.valueOf(name); } return value; |