https://pantsbuild.org/ logo
#development
Title
# development
w

witty-crayon-22786

10/05/2021, 5:52 PM
yes. but the JdkSetup is a singleton, so everything should be using the same one.