Added getters and setters for the BaseExplorer