should not be a default version lest all targets pass by default. make sure java target and tool move in lockstep. Fixes #572