Eclipse plug-in missing from JCDK 3.0.5u1 ?

DEADBEEF

    The Oracle JCDK documentation refers to an Eclipse plug-in (https://docs.oracle.com/javacard/3.0.5/guide/eclipse_java_card_plug-in.htm#JCUGC126). However, I cannot find it in the latest JCDK installation. Any idea where I can find it ?