JDK für Eclipse wählen

(im PC-Pool)

Eclipse $\to$ Window $\to$ Preferences $\to$ Java $\to$ Installed JRE $\to$ E:\j2sdk_nb\j2sdk1.4.2

Vorteil: direkter Zugriff auf API-Dok! (Bezeichner im Quelltext markieren, dann rechte Maus $\to$ Open Declaration)