equal
deleted
inserted
replaced
86 public Properties clone() { |
86 public Properties clone() { |
87 Properties clone = new Properties(size()); |
87 Properties clone = new Properties(size()); |
88 Collections.copy(clone, this); |
88 Collections.copy(clone, this); |
89 return clone; |
89 return clone; |
90 } |
90 } |
|
91 |
|
92 /** |
|
93 * @return merged this and backing defaults as Java Properties |
|
94 */ |
|
95 public java.util.Properties getJavaProperties() { |
|
96 java.util.Properties javaProperties = new java.util.Properties(); |
|
97 if (defaults != null) { |
|
98 duplicateTo(javaProperties); |
|
99 } |
|
100 duplicateTo(javaProperties); |
|
101 return javaProperties; |
|
102 } |
|
103 |
|
104 private void duplicateTo(java.util.Properties javaProperties) { |
|
105 for (Property p : this) { |
|
106 javaProperties.setProperty(p.getName(), p.getValue()); |
|
107 } |
|
108 } |
91 } |
109 } |