In a Java 25 project, create a class like

import module java.xml;

public void main() {
    IO.println("Hello, JEP 511!" + XMLConstants.ACCESS_EXTERNAL_DTD);
}

Hovering over the java.xml module import shows the java.xml.crypto Javadoc:

In Eclipse, with JDT 3.20.500.v20260216-1800, you can see 2 modules (which seems wrong too)