Jimmy is a nickname for James.