quick question

Martin Gainty <[email protected]> Wed, 8 Apr 2020 11:42:06 +0000

Newsgroups	gmane.comp.jakarta.ant.user
Message-ID	<BLAPR19MB42279C025B980268BC057213AEC00@BLAPR19MB4227.namprd19.prod.outlook.com>

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