|
|
@ -1414,6 +1414,7 @@ public class Config { |
|
|
|
* The configuration file entry |
|
|
|
* The configuration file entry |
|
|
|
*/ |
|
|
|
*/ |
|
|
|
private static class Entry { |
|
|
|
private static class Entry { |
|
|
|
|
|
|
|
|
|
|
|
/** |
|
|
|
/** |
|
|
|
* The text content before entry |
|
|
|
* The text content before entry |
|
|
|
*/ |
|
|
|
*/ |
|
|
@ -1482,6 +1483,20 @@ public class Config { |
|
|
|
return false; |
|
|
|
return false; |
|
|
|
return a.equals(b); |
|
|
|
return a.equals(b); |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@Override |
|
|
|
|
|
|
|
public String toString() { |
|
|
|
|
|
|
|
if (section == null) |
|
|
|
|
|
|
|
return "<empty>"; |
|
|
|
|
|
|
|
StringBuilder b = new StringBuilder(section); |
|
|
|
|
|
|
|
if (subsection != null) |
|
|
|
|
|
|
|
b.append(".").append(subsection); |
|
|
|
|
|
|
|
if (name != null) |
|
|
|
|
|
|
|
b.append(".").append(name); |
|
|
|
|
|
|
|
if (value != null) |
|
|
|
|
|
|
|
b.append("=").append(value); |
|
|
|
|
|
|
|
return b.toString(); |
|
|
|
|
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
private static class StringReader { |
|
|
|
private static class StringReader { |
|
|
|