Java benutzen

• (zuhause) installieren (JDK 6u1) http://java.sun.com/javase/downloads/index.jsp
• (Pool) benutzen: in .bashrc schreiben:

  export PATH=/usr/java/jdk1.6.0/bin:$PATH
  

• compilieren: javac -Xlint Foo.java
• ausführen: java Foo, appletviewer Foo.html

oder Eclipse-3.2 (http://www.eclipse.org/) Window $\to$ Preferences $\to$ Java $\to$ Compiler $\to$ Compiler Compliance Level $\to$ 6.0