Allow user to suppress JVM warning if they know what they're doing.
Permit Modes to specify different default file extension for auxilliary (not main pde) files created in new tabs.