Classes for the ExplorerContext.