final String[] ca = changes.split("\u0001");
for (int i = 0; i < ca.length; i++) {
// extract variable info from key of format
- // "PID_variableName_type"
+ // "PID|variableName|type"
String[] vid = ca[i].split("\\|");
final VariableOwner owner = (VariableOwner) idPaintableMap
.get(vid[0]);
if (owner != null) {
Map m;
if (i + 2 >= ca.length
- || !vid[0].equals(ca[i + 2].split("|")[0])) {
+ || !vid[0].equals(ca[i + 2].split("\\|")[0])) {
if (ca.length > i + 1) {
m = new SingleValueMap(vid[1],
convertVariableValue(vid[2].charAt(0),
ca[++i]));
}
while (i + 1 < ca.length
- && vid[0].equals(ca[i + 1].split("|")[0])) {
- vid = ca[++i].split("|");
+ && vid[0].equals(ca[i + 1].split("\\|")[0])) {
+ vid = ca[++i].split("\\|");
m.put(vid[1], convertVariableValue(vid[2].charAt(0),
ca[++i]));
}