package bugs.jdo.bug1812;

public interface DMP {

    Long getArztnr();

     
    void setArztnr( Long arztnr );
}