return true if the specified port is free . concode_field_sep Logger log concode_elem_sep Random random concode_field_sep void main concode_elem_sep ServerSocket openServerSocketFromRangePort concode_elem_sep ServerSocket openServerSocketFromRangePort
ServerSocket function ( int arg0 ) { ServerSocket loc0 = new ServerSocket ( arg0 ) ; return loc0 ; }