// This class was generated by 172 StubGenerator.// Contents subject to change without notice.// @generatedpackage com.j2medev.chapter10.sampleservice;public interface SampleServiceSEI extends java.rmi.Remote {	public com.j2medev.chapter10.sampleservice.Article getArticleByID(int int_1) throws java.rmi.RemoteException;}