// ---------------------------------------------------------- public void flushNavigatorDerivedData() { assignmentOffering = null; super.flushNavigatorDerivedData(); }
// ---------------------------------------------------------- public void flushNavigatorDerivedData() { assignmentOffering = null; super.flushNavigatorDerivedData(); }