Create sem4details.java