Copyright 2004-present by the Checker Framework developers