Remove DefaultManager

DefaultManager has been removed from NMRCore. DefaultManager is now the
first manager of the list, if it exists. The consequence is that
defaultManager no longer appears in the list of the GUI.