package lectures.mvc; import util.annotations.WebDocuments; @WebDocuments({"Lectures/Mvc.pptx", "Lectures/Mvc.pdf", "Videos/Mvc.avi"}) public interface CounterObserver { public void update(ObservableCounter counter); }