geoserver/geoserver — pull request #332 by chpicone (2013-09-14 10:32:20+00:00)
Title: Update DefaultControlFlowConfigurator.java

key: GEOS-6037 and GEOS-6040