Added management of output GVBuffer property HTTP_RESP_FILE_NAME to RESTHttpServletMapping in order to define the name of the file to be downloaded through an HTTP request.
Authored by: dmg75it 2015-06-10
Parent: [r436]
Child: [r438]