More javadoc and code cleaning on ApplicationStateModel