diff options
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; |