Hi, Bobby. JEF was not originally included with this set, but the good news as that we have now been able to add it to the available formats.
P.S. Do be aware that not all Janomes may be able to embroider these stocking designs due to their large size. If you're unsure of you're machine's maximum sewing area, you can refer to your manual or dealer for assistance, or let me know your machine and I can check.