Dispatcher getReadEventDispatcher() {
return readEventDispatcher;
}
void setReadEventDispatcher(Dispatcher dispatcher) {
Dispatcher oldDispatcher = readEventDispatcher;
readEventDispatcher = dispatcher;
if (oldDispatcher != null) {
oldDispatcher.stop();
}
}