Logged In: NO

Sorry, I mistook. The patch should be as below(?)

--- ViPreferenceService.java.org 2005-01-19 02:00:27.000000000 +0900
+++ ViPreferenceService.java 2005-01-19 02:00:42.000000000 +0900
@@ -63,7 +63,9 @@
public void eval(String name, String value) {
SetPrefCommand command = (SetPrefCommand) _prefCommands.get(name);

+ if (value != null) {
command.execute(value);
+ }
}

public boolean getBoolean(String name) {