package example; public interface CheckedInterface { void checkedMethod(); }