added wrapper for Hashtable.size()-method

This commit is contained in:
stefanp 2002-04-18 09:35:54 +00:00
parent ce27d2124b
commit 8e96f6fee8

View file

@ -147,6 +147,12 @@ public final class SystemProperties extends Properties {
return props.elements(); return props.elements();
} }
public int size() {
if (System.currentTimeMillis () - lastcheck > cacheTime)
checkFile ();
return props.size();
}
public String toString () { public String toString () {
return props.toString (); return props.toString ();
} }