well, whatever javac actually needs is the ground truth