| Proxies | La boîte de dialogue Proxies permet de changer de serveur proxy (proxy). | 
| Contrôle de version | Sélectionnez le système de contrôle de version que vous utiliserez avec Java Development Environment. | 
| Editeur de source | Spécifie les préférences relatives aux actions suivantes de l'éditeur de source : | 
| Clavier | Affiche, ajoute ou supprime des affectations (assemblages) de touches correspondant à des groupes fonctionnels de Java Development Environment. Pour plus d'informations, reportez-vous à Préférences clavier. | 
| Entrée console | Détermine comment sont interprétées dans la fenêtre Console les entrées programme effectuées par lignes de commande. Pour plus d'informations, reportez-vous à Boîte de dialogue Entrée console. | 
| Générateur | Détermine le compilateur Java qu'utilisera Java Development Environment pour compiler vos projets. Pour plus d'informations, reportez-vous à Boîte de dialogue Préférences générateur. | 
| Afficher les étiquettes de barre d'outils | Ajoute des étiquettes sous les boutons de la barre d'outils. | 
| Jeu de caractères |