It would be helpful if DrJava could store preferences somewhere portable, so that if I'm running the program from a usb flash drive, I don't have to change the font, line numbers, etc. every time I run it in a diferent computer.
