troter/checker-framework-sample archive