# HG changeset patch
# User František Kučera <franta-hg@frantovo.cz>
# Date 1431813486 -7200
# Node ID 862d0a8747ac0ce5877a63df8874e2f9a4cd4a45
# Parent  3d4d378adc103a3669d4b3e67af075b575d4565d
avoid NullPointerException (value = null) while duplicating to java.util.Properties

diff -r 3d4d378adc10 -r 862d0a8747ac java/sql-dk/src/info/globalcode/sql/dk/configuration/Properties.java
--- a/java/sql-dk/src/info/globalcode/sql/dk/configuration/Properties.java	Sat May 16 23:55:11 2015 +0200
+++ b/java/sql-dk/src/info/globalcode/sql/dk/configuration/Properties.java	Sat May 16 23:58:06 2015 +0200
@@ -23,13 +23,16 @@
 import java.util.Collections;
 
 /**
- * <p>List of configurables.</p>
+ * <p>
+ * List of configurables.</p>
  *
- * <p>Can be backed by defaults – if value for given name is nof found in this instance, we will
+ * <p>
+ * Can be backed by defaults – if value for given name is nof found in this instance, we will
  * look into defaults. Methods also accept defaultValue parameter – is used if property is nof found
  * even in default properties.</p>
  *
- * <p>Typical use: </p>
+ * <p>
+ * Typical use: </p>
  * <ul>
  * <li>this instance – ad-hoc properties from CLI options</li>
  * <li>default properties – from config file</li>
@@ -117,7 +120,10 @@
 			defaults.duplicateTo(javaProperties);
 		}
 		for (Property p : this) {
-			javaProperties.setProperty(p.getName(), p.getValue());
+			String value = p.getValue();
+			if (value != null) {
+				javaProperties.setProperty(p.getName(), value);
+			}
 		}
 	}
 }