GUI: make LanguageToolSupport.java observable.
GUI: provide better synchronization between LanguageToolSupport.java and the status area.