From 7209fd9709597bfcf8952530a155d9b61924896a Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Tue, 28 Jun 2005 10:03:55 +0000
Subject: [PATCH] make class not final

---
 src/helma/util/ResourceProperties.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/helma/util/ResourceProperties.java b/src/helma/util/ResourceProperties.java
index e87662fd..d67474f9 100644
--- a/src/helma/util/ResourceProperties.java
+++ b/src/helma/util/ResourceProperties.java
@@ -25,7 +25,7 @@ import helma.framework.repository.Repository;
 /**
  *  A property dictionary that is updated from property resources
  */
-public final class ResourceProperties extends Properties {
+public class ResourceProperties extends Properties {
 
     // Delay between checks
     private final long cacheTime = 1500L;