geoserver/geoserver — pull request #758 by dromagnoli (2014-09-22 16:19:45+00:00)
Title: [GEOS-6684]: Fixing WPSInfo Title management

[GEOS-6684]: Fixing WPSInfo Title management