| changeset 53018 | 8bf9268df0e2 |
| parent 51771 | 1f805481d8de |
| child 54443 | dfba4e321ab3 |
| 53017:e10a1f7aaa13 | 53018:8bf9268df0e2 |
|---|---|
131 @Override |
131 @Override |
132 public String run() { |
132 public String run() { |
133 String s = java.security.Security.getProperty(name); |
133 String s = java.security.Security.getProperty(name); |
134 if (s != null) { |
134 if (s != null) { |
135 s = s.trim(); |
135 s = s.trim(); |
136 if (s.length() == 0) { |
136 if (s.isEmpty()) { |
137 s = null; |
137 s = null; |
138 } |
138 } |
139 } |
139 } |
140 return s; |
140 return s; |
141 } |
141 } |