*/
public static void postEvent(EventHandle handle) {
// TF:Also ensured that all events posted via this method (ie client events) have associated
// with them a DisplayEvent parameter. This prevents runtime errors from people who use this.
if (handle.getParameters() != null && handle.getParameter("eventInfo") == null) {
handle.getParameters().put("eventInfo", new ParameterHolder(new DisplayEvent()));
}
if (SwingUtilities.isEventDispatchThread()) {
handle.setPriority(EventHandle.PRIORITY_EDT);
}
EventManager.postEvent(handle);