--- a/java/sql-dk/src/info/globalcode/sql/dk/configuration/Properties.java Tue Dec 31 18:11:50 2013 +0100
+++ b/java/sql-dk/src/info/globalcode/sql/dk/configuration/Properties.java Wed Jan 01 01:06:38 2014 +0100
@@ -88,4 +88,22 @@
Collections.copy(clone, this);
return clone;
}
+
+ /**
+ * @return merged this and backing defaults as Java Properties
+ */
+ public java.util.Properties getJavaProperties() {
+ java.util.Properties javaProperties = new java.util.Properties();
+ if (defaults != null) {
+ duplicateTo(javaProperties);
+ }
+ duplicateTo(javaProperties);
+ return javaProperties;
+ }
+
+ private void duplicateTo(java.util.Properties javaProperties) {
+ for (Property p : this) {
+ javaProperties.setProperty(p.getName(), p.getValue());
+ }
+ }
}