I've uninstalled Java 1.6 and installed Java 1.5, now the Arduino IDE won't run, I've switched back now.
I've started using gnome's editor, it has autosave and a good syntax highlighting scheme.
Oh since you might release a fix soon, it'll be really nice if you guys could automatically select the virtual serial port for me, because sometimes it's there but not selected and it won't upload. It's the only serial port on my computer.