formatting of AppMsg.java