Reporter.info(""); //NOI18N
if ( (val == null) || val.length() <=0)
return;
try {
int ret = Integer.parseInt(val);
if (ret < 0)
return;
INTERVAL = (ret < minInterval)? minInterval : ret;
Reporter.info("setLogInterval(): " + INTERVAL); //NOI18N
}catch (NumberFormatException e){}