From b00de5f1768e14238f8660b63eb3fd5d744fc0a9 Mon Sep 17 00:00:00 2001 From: Wesley Wolfe Date: Sun, 22 Jul 2012 01:18:00 -0500 Subject: Cleaned up CraftBukkit comments in NMS. Added newlines at the end of files Fixed improper line endings on some files Matched start - end comments Added some missing comments for diffs Fixed syntax on some spots Minimized some diff Removed some no longer used files Added comment on some required files with no changes Fixed imports of items used once Added imports for items used more than once --- src/main/java/net/minecraft/server/PropertyManager.java | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/main/java/net/minecraft/server/PropertyManager.java') diff --git a/src/main/java/net/minecraft/server/PropertyManager.java b/src/main/java/net/minecraft/server/PropertyManager.java index ae0feee2..20e981c8 100644 --- a/src/main/java/net/minecraft/server/PropertyManager.java +++ b/src/main/java/net/minecraft/server/PropertyManager.java @@ -7,6 +7,8 @@ import java.util.Properties; import java.util.logging.Level; import java.util.logging.Logger; +import joptsimple.OptionSet; // CraftBukkit + public class PropertyManager { public static Logger a = Logger.getLogger("Minecraft"); @@ -29,9 +31,9 @@ public class PropertyManager { } // CraftBukkit start - private joptsimple.OptionSet options = null; + private OptionSet options = null; - public PropertyManager(final joptsimple.OptionSet options) { + public PropertyManager(final OptionSet options) { this((File) options.valueOf("config")); this.options = options; -- cgit v1.2.3