Java Model State Distribution