Added getter and setter for CoreController