package lectures.mvc; import util.annotations.WebDocuments; @WebDocuments({"Lectures/Mvc.pptx", "Lectures/Mvc.pdf", "Videos/Mvc.avi"}) public interface Counter { public void add (int amount); public int getValue(); }