DrJava Version : 20060320-1906
When printing multiple documents, DrJAva doesn't
remember the setting for which printer was used last,
forcing the user to reselect the same printer over and
over again.
Setting the printer in Page Setup doesn't stick either.
