codice:
Pattern p = Pattern.compile( "proxy\\(.+\\)" ); 		 		// Match it. 		Matcher m = p.matcher( this.page ); 		 		int proxies = 0; 		 		while  ( m.find( ) == true ) 			proxies++;
vorrei evitare al punto di matchare anche la parentesi tonda di chiusura, esiste qualche modificatore che mi puo' rendere la regex meno greedy?