Prezados, bom dia. Como posso ler o atributo WKNumProces do WKParams?

Tentei o seguinte:

log.info("WKParams.toString(): " + WKParams.toString());
log.info("WKParams.WKNumProces: " + WKParams.WKNumProces); // undefined    
log.info("WKParams.getWKNumProces: " + WKParams.getWKNumProces); // undefinied
log.info("WKParams.getWKNumProces(): " + WKParams.getWKNumProces()); // erro

Resultado do toString():

{WKUser=otto
 WKUserLocale=pt_BR
 WKNumState=5
 WKUserComment=comentario
 WKCardId=86
 WKVersDef=17
 WKCardVersion=1000
 WKDefaultLink=false
 WKManagerMode=false
 WKCompletTask=true
 WKFormId=5
 WKCompany=1
 WKIsService=true
 WKNumProces=69
 WKNextState=20
 WKDef=prj_aprovacao_contrato
 WKCurrentState=20
 WKMobile=false}