00001 import java.io.*; 00002 00003 public interface Documentation { 00004 public String getDocumentation() throws IOException; 00005 public String getFullDocuName(); 00006 }