Add synchronized statement around setChanged/notifyObservers to work around the bus in Observable/Observer pattern. (filed a bug in java, unclear if it will be accepted)