Also, in ResourceSpecification, it is called ```getCores```, in here we call it virtualCores. We should use a consistent naming (you can change either one).