Implement CaseId.java and resulting changes