Jdeveloper 11g - Alterando o nome dos parâmetros de Webservices

Quando criamos um Webservice com base em uma classe java no Jdeveloper 11g, a naba gera o nome dos parâmetros como arg0, arg1, arg2. Para resolver isso e fazer a bagaça gerar com os devidos nomes, o método deve ser declarado conforme abaixo:

import javax.jws.WebMethod;
import javax.jws.WebParam;
import javax.jws.WebService;

@WebMethod
public int insertModl(@WebParam(name = "nm_modl") String nm_modl, @WebParam(name = "fl_disp") String fl_disp,
@WebParam(name = "ds_modl") String ds_modl, @WebParam(name = "nr_maxm_tent") int nr_maxm_tent) {

...

}