check whether a url is a bookmark . concode_field_sep List<URLRecord> bookmarks concode_elem_sep File configFile concode_elem_sep Stack<URLRecord> history concode_elem_sep URL home concode_field_sep void saveURL concode_elem_sep URLRecord[] getHistory concode_elem_sep void saveBookmark concode_elem_sep URL getHome concode_elem_sep void deleteBookmark concode_elem_sep void setHome concode_elem_sep URLRecord[] getBookmarks concode_elem_sep void saveConfig
boolean function ( URL arg0 ) { for ( URLRecord loc0 : bookmarks ) { if ( loc0 . getURL ( ) . equals ( arg0 ) ) return true ; } return false ; }