/test/stubs/org/checkerframework/checker/objectconstruction/