/** Adds operation and schedules job to treat it later. */
public void addPingOpenEditor() {
String msg = internal.createPingOpenEditorEncodedMessage();
synchronized (lockOperations) {
operations.add(new Tuple<String, String>("addEncodedMessage", msg));
}
job.schedule(SCHEDULE_TIME);
}
