From 5fe2b74d30491eacd9c7cf9753c47d6cf08c6e8a Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Tue, 31 Mar 2009 12:52:24 +0000
Subject: [PATCH] Do not convert all values to strings.

---
 src/helma/util/ResourceProperties.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/helma/util/ResourceProperties.java b/src/helma/util/ResourceProperties.java
index 96f34bc1..3a375f24 100644
--- a/src/helma/util/ResourceProperties.java
+++ b/src/helma/util/ResourceProperties.java
@@ -482,8 +482,8 @@ public class ResourceProperties extends Properties {
      * @return the old value, if an old value got replaced
      */
     public Object put(Object key, Object value) {
-        if (value != null) {
-            value = value.toString().trim();
+        if (value instanceof String) {
+            value = ((String) value).trim();
         }
         String strkey = key.toString();
         if (ignoreCase) {