Sat, 16 May 2015 23:58:06 +0200avoid NullPointerException (value = null) while duplicating to java.util.Properties v_0
František Kučera <franta-hg@frantovo.cz> [Sat, 16 May 2015 23:58:06 +0200] rev 191
avoid NullPointerException (value = null) while duplicating to java.util.Properties