TAG Igui-00-00-39 ***************** Main changes: - Fixed a possible null pointer exception in MrsPanel; - jacorb properties taken from configuration file; - multiple selection is now possible also for the infrastructure tree.
TAG Igui-00-00-39 ***************** Main changes: - Fixed a possible null pointer exception in MrsPanel; - jacorb properties taken from configuration file; - multiple selection is now possible also for the infrastructure tree.