i am encountering this situation https://github.com/javapathfinder/jpf-core/issues/27
suggested mitigation is to pass --patch-module java.base=src to point to local source javac --patch-module java.base=src -d build \ src/java.base/java/util/concurrent/ConcurrentHashMap.java how does <javac> task accomplish --patch-module java.base=src directive? Thanks! martin