github.com Differentiate between checked and unchecked exceptions Enforce declaring thrown checked exceptions in @throws Report extra exceptions in @throws that aren't actually thrown など