protected void initPingIntervalMilli(){
  String pingIntervalMilliParam=getInitParameter("pingIntervalMilli");
  setPingIntervalMilli((pingIntervalMilliParam == null) ? DEFAULT_PING_INTERVAL_MILLI : Integer.parseInt(pingIntervalMilliParam));
  if (isDebug()) {
    log("pingIntervalMilli: " + getPingIntervalMilli());
  }
}

protected void initPingIntervalMilli ( ) { String pingIntervalMilliParam = getInitParameter ( "pingIntervalMilli" ) ; setPingIntervalMilli ( ( pingIntervalMilliParam == null ) ? DEFAULT_PING_INTERVAL_MILLI : Integer . parseInt ( pingIntervalMilliParam ) ) ; if ( isDebug ( ) ) { log ( "pingIntervalMilli: " + getPingIntervalMilli ( ) ) ; } }
initializer for property pingintervalmilli .
