Mathias Ricken - 2012-11-19

These settings are stored in a .drjava file. Depending on your operating system, it's likely stored either in C:\Users\<username> (Windows Vista and 7), C:\Documents and Settings\<username> (Windows XP and earlier), or in ~ (Mac OS and Linux).

You should be able to copy that file to another computer. If your paths are different (e.g. Java is installed in a different place), please make sure to change those settings (e.g. Extra Classpath) once you have overwritten the old .drjava file on the other computer.

Please let us know if you have trouble finding that file.