Utilisation de l'éditeur Java Utilisation de la boîte de dialogue Recherche/Remplacement Utilisation de la recherche incrémentielle Recherche de l'occurrence suivante ou précédente