Separated autosave options from backup options in savebackupoptionpane
Fixed german localization.
remove unnecessary paragraph. also update URL for docbook.xsd to use https (since it is now being redirected).
FR#506: Option for global autosave directory for existing files (not backup)
The code for handling regexes in the output is very old and not written by me. To change it would require very thorough testing against existing regexes and error outputs. We do not have any automated regression tests made up for this but I think that would help.
Removed $JEDIT_SETTINGS from jedit.props and also handled some NPEs on startup if jedit -nosettings is invoked.
I think the combobox that shows "metal" in the AppearanceOptionPane should show "LookAndFeel Plugin" if indeed the look and feel plugin is overriding the setting in that pane.