This patch fixes a bug where init_properties() wasn't being called from setProperty(). It also makes the system properties calls more efficient by having them only call init_properties in the case where properties is null. [ bryce ]