* These conditons must hold after the getConfiguration method
*
* @see PlayerHandler#getConfiguration()
*/
public void post_getConfiguration() {
Configuration output = (Configuration) super.getReturnValue();
assert output != null;
} // end post_getConfiguration()