Jinny

also Ginny, fem. proper name, originally a diminutive of Jane, and like Jenny it also was used of machinery.