This could likely be changed in OpenJDK itself and then removed here; it does not appear that many other utilities generate (or even ship) .jmod files.