diff -r 8189a4a28cd8 -r d06d90b28217 java/sql-dk/src/info/globalcode/sql/dk/configuration/Properties.java --- a/java/sql-dk/src/info/globalcode/sql/dk/configuration/Properties.java Wed Jan 01 02:44:29 2014 +0100 +++ b/java/sql-dk/src/info/globalcode/sql/dk/configuration/Properties.java Wed Jan 01 02:56:08 2014 +0100 @@ -82,6 +82,10 @@ return p == null ? defaultValue : Integer.valueOf(p.getValue()); } + public boolean hasProperty(String name) { + return findByName(this, name) != null; + } + @Override public Properties clone() { Properties clone = new Properties(size());