The file jvmticmlr.h is stored twice in the repo, both in hotspot and in java.base. They are both identical, and only the java.base version is included in the final product.