183184185186187188189190191192
String s = prp.getProperty( key ); if( s != null ) { try { def = Integer.parseInt( s ); } catch( NumberFormatException nfe ) { new ErrorHandler(nfe); } } return def; }
200201202203204205206207208209
int result = -1; if( s != null ) { try { result = Integer.parseInt( s ); } catch( NumberFormatException nfe ) { new ErrorHandler(nfe); } } return result; }
218219220221222223224225226227
String s = prp.getProperty( key ); if( s != null ) { try { def = Long.parseLong( s ); } catch( NumberFormatException nfe ) { new ErrorHandler(nfe); } } return def; }
236237238239240241242243244245
String addr = prp.getProperty( key ); if( addr != null ) { try { def = InetAddress.getByName( addr ); } catch( UnknownHostException uhe ) { new ErrorHandler(uhe); } } return def; }
271272273274275276277278279280281
for( int i = 0; i < len; i++ ) { String addr = tok.nextToken(); try { arr[i] = InetAddress.getByName( addr ); } catch( UnknownHostException uhe ) { new ErrorHandler(uhe); return def; } } return arr; }