This class is never defined