tuned default: melange of all "en" dialects;

--- a/src/Tools/jEdit/etc/options	Tue Apr 15 22:18:21 2014 +0200
+++ b/src/Tools/jEdit/etc/options	Tue Apr 15 22:19:07 2014 +0200
@@ -54,7 +54,7 @@
 public option spell_checker : bool = true
   -- "enable spell-checker for prose words within document text, comments etc."
 
-public option spell_checker_dictionary : string = "en_US"
+public option spell_checker_dictionary : string = "en"
   -- "spell-checker dictionary name"
 
 public option spell_checker_elements : string = "words,comment,inner_comment,ML_comment,SML_comment"