added JHUSet interface that is needed for MyJHUSet.java