New GenerateUserDTD.java that generates user.dtd