--- old/src/jdk.compiler/share/classes/com/sun/tools/javac/util/Options.java 2020-03-30 11:59:59.000000000 -0700 +++ new/src/jdk.compiler/share/classes/com/sun/tools/javac/util/Options.java 2020-03-30 11:59:59.000000000 -0700 @@ -181,4 +181,9 @@ for (Runnable r: listeners) r.run(); } + + public void clear() { + values.clear(); + listeners = List.nil(); + } }