equal
deleted
inserted
replaced
80 public int getInteger(String name, int defaultValue) { |
80 public int getInteger(String name, int defaultValue) { |
81 Property p = findProperty(name); |
81 Property p = findProperty(name); |
82 return p == null ? defaultValue : Integer.valueOf(p.getValue()); |
82 return p == null ? defaultValue : Integer.valueOf(p.getValue()); |
83 } |
83 } |
84 |
84 |
|
85 public boolean hasProperty(String name) { |
|
86 return findByName(this, name) != null; |
|
87 } |
|
88 |
85 @Override |
89 @Override |
86 public Properties clone() { |
90 public Properties clone() { |
87 Properties clone = new Properties(size()); |
91 Properties clone = new Properties(size()); |
88 Collections.copy(clone, this); |
92 Collections.copy(clone, this); |
89 return clone; |
93 return clone; |