Changed some jedit settings.