File JLanguageTool-0.9.3-package-dicts-separately.diff of Package OpenOffice_org-LanguageTool

--- build.xml
+++ build.xml
@@ -478,44 +478,18 @@
 
  	<copy file="${resource.dir}/api-output.dtd" todir="${dist.dir}/resource" />
  	<copy file="${resource.dir}/en/tagset.txt" todir="${dist.dir}/resource/en" />
-	<copy file="${resource.dir}/en/english.dict" todir="${dist.dir}/resource/en" />
-	<copy file="${resource.dir}/en/english.info" todir="${dist.dir}/resource/en" />
-	<copy file="${resource.dir}/en/english_synth.dict" todir="${dist.dir}/resource/en" />  	
-	<copy file="${resource.dir}/en/english_synth.info" todir="${dist.dir}/resource/en" />  	
   	<copy file="${resource.dir}/en/english_tags.txt" todir="${dist.dir}/resource/en" />
   	<copy file="${resource.dir}/en/disambiguation.xml" todir="${dist.dir}/resource/en" />
-  	<copy file="${resource.dir}/it/italian.dict" todir="${dist.dir}/resource/it" />
-  	<copy file="${resource.dir}/it/italian.info" todir="${dist.dir}/resource/it" />
   	<copy file="${resource.dir}/it/readme-morph-it.txt" todir="${dist.dir}/resource/it" />
- 	<copy file="${resource.dir}/fr/french.dict" todir="${dist.dir}/resource/fr" />
- 	<copy file="${resource.dir}/fr/french.info" todir="${dist.dir}/resource/fr" />
   	<copy file="${resource.dir}/fr/readme.txt" todir="${dist.dir}/resource/fr" />
  	<copy file="${resource.dir}/fr/disambiguation.xml" todir="${dist.dir}/resource/fr" />
-	<copy file="${resource.dir}/es/spanish.dict" todir="${dist.dir}/resource/es" />
-	<copy file="${resource.dir}/es/spanish.info" todir="${dist.dir}/resource/es" />
   	<copy file="${resource.dir}/es/etiquetas-eagles.txt" todir="${dist.dir}/resource/es" />  	
-	<copy file="${resource.dir}/de/german.dict" todir="${dist.dir}/resource/de" />
-	<copy file="${resource.dir}/de/german.info" todir="${dist.dir}/resource/de" />
   	<copy file="${resource.dir}/de/compounds.txt" todir="${dist.dir}/resource/de" />
 	<copy file="${resource.dir}/de/added.txt" todir="${dist.dir}/resource/de" />
-	<copy file="${resource.dir}/pl/polish.dict" todir="${dist.dir}/resource/pl" />
-	<copy file="${resource.dir}/pl/polish.info" todir="${dist.dir}/resource/pl" />
-  	<copy file="${resource.dir}/pl/polish_synth.dict" todir="${dist.dir}/resource/pl" />
-  	<copy file="${resource.dir}/pl/polish_synth.info" todir="${dist.dir}/resource/pl" />
   	<copy file="${resource.dir}/pl/polish_tags.txt" todir="${dist.dir}/resource/pl" />
-	<copy file="${resource.dir}/nl/dutch.dict" todir="${dist.dir}/resource/nl" />
-	<copy file="${resource.dir}/nl/dutch.info" todir="${dist.dir}/resource/nl" />
-	<copy file="${resource.dir}/nl/dutch_synth.dict" todir="${dist.dir}/resource/nl" />
-	<copy file="${resource.dir}/nl/dutch_synth.info" todir="${dist.dir}/resource/nl" />
 	<copy file="${resource.dir}/nl/dutch_tags.txt" todir="${dist.dir}/resource/nl" />
- 	<copy file="${resource.dir}/sv/swedish.info" todir="${dist.dir}/resource/sv" />
-	<copy file="${resource.dir}/sv/swedish.dict" todir="${dist.dir}/resource/sv" />
   	<copy file="${resource.dir}/sv/compounds.txt" todir="${dist.dir}/resource/sv" />
-  	<copy file="${resource.dir}/uk/ukrainian.dict" todir="${dist.dir}/resource/uk" />
-	<copy file="${resource.dir}/ru/russian.dict" todir="${dist.dir}/resource/ru" />
-	<copy file="${resource.dir}/ru/russian.info" todir="${dist.dir}/resource/ru" />
 	<copy file="${resource.dir}/ru/russian_tags.txt" todir="${dist.dir}/resource/ru" />
-  	<copy file="${resource.dir}/xx/dummy.dict" tofile="${dist.dir}/resource/cs/czech.dict" />
   </target>
 
   <target name="dict-de" description="Build the German tagger dictionary from Morphy data">
--- src/dev/de/danielnaber/languagetool/dev/PrintLocales.java
+++ src/dev/de/danielnaber/languagetool/dev/PrintLocales.java
@@ -43,7 +43,8 @@
   private void run() throws IOException { 
     String locales = "";
     for (final Language element : Language.LANGUAGES) {
-      if (!element.equals(Language.DEMO)) {
+      // Do not list any language by defaule
+      if (1 == 2) {
         for (final String variant : element.getCountryVariants()) {
           if (!("").equals(locales)) {
             locales = locales + " "  + element.getShortName() + "-" + variant;