5354555657585960616263646566
objs.pop(); } } for (Property source : from.getProperties().values()) { Property target = to.findProperty(source.getName()); if (target == null) { target = new Property(source.getName()); to.addProperty(target); } objs.push(target); source.accept(this);
8081828384858687888990919293
private String getPropertyValue(String name, String defaultValue) { String value = defaultValue; if (m_config != null) { Property property = m_config.getProperties().get(name); if (property != null) { value = property.getText(); } } return value; }