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-19
Parent: [r441]
Child: [r443]