Looks good. The JavaFileManager argument in Start.preprocess is never used and could be removed.
Hannes > Am 05.02.2020 um 00:54 schrieb Jonathan Gibbons <[email protected]>: > > Please review a cleanup to remove some dead code and improve comments > for the tool options that are implemented in Start.preprocess. > > No intentional change in functionality. > > -- Jon > > JBS: https://bugs.openjdk.java.net/browse/JDK-8238503 > Webrev: http://cr.openjdk.java.net/~jjg/8238503/webrev/index.html >
