]> gitweb.fperrin.net Git - Dictionary.git/blob - src/com/hughes/android/dictionary/DictionaryApplication.java
Avoid inheriting from Application.
[Dictionary.git] / src / com / hughes / android / dictionary / DictionaryApplication.java
1 // Copyright 2011 Google Inc. All Rights Reserved.
2 //
3 // Licensed under the Apache License, Version 2.0 (the "License");
4 // you may not use this file except in compliance with the License.
5 // You may obtain a copy of the License at
6 //
7 //     http://www.apache.org/licenses/LICENSE-2.0
8 //
9 // Unless required by applicable law or agreed to in writing, software
10 // distributed under the License is distributed on an "AS IS" BASIS,
11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 // See the License for the specific language governing permissions and
13 // limitations under the License.
14
15 package com.hughes.android.dictionary;
16
17 import android.app.Application;
18 import android.content.Context;
19 import android.content.Intent;
20 import android.content.SharedPreferences;
21 import android.content.SharedPreferences.OnSharedPreferenceChangeListener;
22 import android.net.Uri;
23 import android.os.Build;
24 import android.os.Environment;
25 import android.preference.PreferenceManager;
26 import android.support.v4.view.MenuItemCompat;
27 import android.util.Log;
28 import android.util.TypedValue;
29 import android.view.Menu;
30 import android.view.MenuItem;
31 import android.view.MenuItem.OnMenuItemClickListener;
32 import android.view.View;
33 import android.widget.Button;
34 import android.widget.ImageButton;
35 import android.widget.ImageView.ScaleType;
36 import android.widget.LinearLayout;
37 import android.widget.Toast;
38
39 import com.hughes.android.dictionary.DictionaryInfo.IndexInfo;
40 import com.hughes.android.dictionary.engine.Dictionary;
41 import com.hughes.android.dictionary.engine.Language;
42 import com.hughes.android.dictionary.engine.Language.LanguageResources;
43 import com.hughes.android.dictionary.engine.TransliteratorManager;
44 import com.hughes.android.util.PersistentObjectCache;
45 import com.hughes.util.ListUtil;
46 import java.text.Collator;
47
48 import java.io.BufferedReader;
49 import java.io.File;
50 import java.io.IOException;
51 import java.io.InputStreamReader;
52 import java.io.Serializable;
53 import java.util.ArrayList;
54 import java.util.Collections;
55 import java.util.Comparator;
56 import java.util.HashMap;
57 import java.util.List;
58 import java.util.Locale;
59 import java.util.Map;
60
61 public enum DictionaryApplication {
62     INSTANCE;
63
64     private Context appContext;
65
66     static final String LOG = "QuickDicApp";
67
68     // If set to false, avoid use of ICU collator
69     // Works well enough for most european languages,
70     // gives faster startup and avoids crashes on some
71     // devices due to Dalvik bugs (e.g. ARMv6, S5570i, CM11)
72     // when using ICU4J.
73     // Leave it enabled by default for correctness except
74     // for my known broken development/performance test device config.
75     //static public final boolean USE_COLLATOR = !android.os.Build.FINGERPRINT.equals("Samsung/cm_tassve/tassve:4.4.4/KTU84Q/20150211:userdebug/release-keys");
76     static public final boolean USE_COLLATOR = true;
77
78     static public final TransliteratorManager.ThreadSetup threadBackground = new TransliteratorManager.ThreadSetup() {
79         @Override
80         public void onThreadStart() {
81             // THREAD_PRIORITY_BACKGROUND seemed like a good idea, but it
82             // can make Transliterator go from 20 seconds to 3 minutes (!)
83             android.os.Process.setThreadPriority(android.os.Process.THREAD_PRIORITY_LESS_FAVORABLE);
84         }
85     };
86
87     // Static, determined by resources (and locale).
88     // Unordered.
89     static Map<String, DictionaryInfo> DOWNLOADABLE_UNCOMPRESSED_FILENAME_NAME_TO_DICTIONARY_INFO = null;
90
91     enum Theme {
92         DEFAULT(R.style.Theme_Default,
93         R.style.Theme_Default_TokenRow_Fg,
94         R.color.theme_default_token_row_fg,
95         R.drawable.theme_default_token_row_main_bg,
96         R.drawable.theme_default_token_row_other_bg,
97         R.drawable.theme_default_normal_row_bg),
98
99         LIGHT(R.style.Theme_Light,
100         R.style.Theme_Light_TokenRow_Fg,
101         R.color.theme_light_token_row_fg,
102         R.drawable.theme_light_token_row_main_bg,
103         R.drawable.theme_light_token_row_other_bg,
104         R.drawable.theme_light_normal_row_bg);
105
106         Theme(final int themeId, final int tokenRowFg,
107         final int tokenRowFgColor,
108         final int tokenRowMainBg, final int tokenRowOtherBg,
109         final int normalRowBg) {
110             this.themeId = themeId;
111             this.tokenRowFg = tokenRowFg;
112             this.tokenRowFgColor = tokenRowFgColor;
113             this.tokenRowMainBg = tokenRowMainBg;
114             this.tokenRowOtherBg = tokenRowOtherBg;
115             this.normalRowBg = normalRowBg;
116         }
117
118         final int themeId;
119         final int tokenRowFg;
120         final int tokenRowFgColor;
121         final int tokenRowMainBg;
122         final int tokenRowOtherBg;
123         final int normalRowBg;
124     }
125
126     public static final class DictionaryConfig implements Serializable {
127         private static final long serialVersionUID = -1444177164708201263L;
128         // User-ordered list, persisted, just the ones that are/have been
129         // present.
130         final List<String> dictionaryFilesOrdered = new ArrayList<String>();
131
132         final Map<String, DictionaryInfo> uncompressedFilenameToDictionaryInfo = new HashMap<String, DictionaryInfo>();
133
134         /**
135          * Sometimes a deserialized version of this data structure isn't valid.
136          * @return
137          */
138         boolean isValid() {
139             return uncompressedFilenameToDictionaryInfo != null && dictionaryFilesOrdered != null;
140         }
141     }
142
143     DictionaryConfig dictionaryConfig = null;
144
145     public int languageButtonPixels = -1;
146
147     static synchronized void staticInit(final Context context) {
148         if (DOWNLOADABLE_UNCOMPRESSED_FILENAME_NAME_TO_DICTIONARY_INFO != null) {
149             return;
150         }
151         DOWNLOADABLE_UNCOMPRESSED_FILENAME_NAME_TO_DICTIONARY_INFO = new HashMap<String, DictionaryInfo>();
152         final BufferedReader reader = new BufferedReader(
153             new InputStreamReader(context.getResources().openRawResource(R.raw.dictionary_info)));
154         try {
155             String line;
156             while ((line = reader.readLine()) != null) {
157                 if (line.length() == 0 || line.charAt(0) == '#') {
158                     continue;
159                 }
160                 final DictionaryInfo dictionaryInfo = new DictionaryInfo(line);
161                 DOWNLOADABLE_UNCOMPRESSED_FILENAME_NAME_TO_DICTIONARY_INFO.put(
162                     dictionaryInfo.uncompressedFilename, dictionaryInfo);
163             }
164         } catch (IOException e) {
165             Log.e(LOG, "Failed to load downloadable dictionary lists.", e);
166         }
167         try {
168             reader.close();
169         } catch (IOException e) {}
170     }
171
172     private File dictDir;
173
174     public void init(Context c) {
175         if (appContext != null) {
176             assert c == appContext;
177             return;
178         }
179         appContext = c;
180         Log.d("QuickDic", "Application: onCreate");
181         TransliteratorManager.init(null, threadBackground);
182         staticInit(appContext);
183
184         languageButtonPixels = (int) TypedValue.applyDimension(
185                                    TypedValue.COMPLEX_UNIT_DIP, 60, appContext.getResources().getDisplayMetrics());
186
187         // Load the dictionaries we know about.
188         dictionaryConfig = PersistentObjectCache.init(appContext).read(
189                                C.DICTIONARY_CONFIGS, DictionaryConfig.class);
190         if (dictionaryConfig == null) {
191             dictionaryConfig = new DictionaryConfig();
192         }
193         if (!dictionaryConfig.isValid()) {
194             dictionaryConfig = new DictionaryConfig();
195         }
196
197         // Theme stuff.
198         appContext.setTheme(getSelectedTheme().themeId);
199         final SharedPreferences prefs = PreferenceManager.getDefaultSharedPreferences(appContext);
200         prefs.registerOnSharedPreferenceChangeListener(new OnSharedPreferenceChangeListener() {
201             @Override
202             public void onSharedPreferenceChanged(SharedPreferences sharedPreferences,
203                                                   String key) {
204                 Log.d("QuickDic", "prefs changed: " + key);
205                 if (key.equals(appContext.getString(R.string.themeKey))) {
206                     appContext.setTheme(getSelectedTheme().themeId);
207                 }
208             }
209         });
210     }
211
212     public static void onCreateGlobalOptionsMenu(
213         final Context context, final Menu menu) {
214         final Context c = context.getApplicationContext();
215         final MenuItem about = menu.add(c.getString(R.string.about));
216         MenuItemCompat.setShowAsAction(about, MenuItem.SHOW_AS_ACTION_NEVER);
217         about.setOnMenuItemClickListener(new OnMenuItemClickListener() {
218             public boolean onMenuItemClick(final MenuItem menuItem) {
219                 final Intent intent = new Intent(c, AboutActivity.class);
220                 context.startActivity(intent);
221                 return false;
222             }
223         });
224
225         final MenuItem help = menu.add(c.getString(R.string.help));
226         MenuItemCompat.setShowAsAction(help, MenuItem.SHOW_AS_ACTION_NEVER);
227         help.setOnMenuItemClickListener(new OnMenuItemClickListener() {
228             public boolean onMenuItemClick(final MenuItem menuItem) {
229                 context.startActivity(HtmlDisplayActivity.getHelpLaunchIntent(c));
230                 return false;
231             }
232         });
233
234         final MenuItem preferences = menu.add(c.getString(R.string.settings));
235         MenuItemCompat.setShowAsAction(preferences, MenuItem.SHOW_AS_ACTION_NEVER);
236         preferences.setOnMenuItemClickListener(new OnMenuItemClickListener() {
237             public boolean onMenuItemClick(final MenuItem menuItem) {
238                 PreferenceActivity.prefsMightHaveChanged = true;
239                 final Intent intent = new Intent(c, PreferenceActivity.class);
240                 context.startActivity(intent);
241                 return false;
242             }
243         });
244
245         final MenuItem reportIssue = menu.add(c.getString(R.string.reportIssue));
246         MenuItemCompat.setShowAsAction(reportIssue, MenuItem.SHOW_AS_ACTION_NEVER);
247         reportIssue.setOnMenuItemClickListener(new OnMenuItemClickListener() {
248             public boolean onMenuItemClick(final MenuItem menuItem) {
249                 final Intent intent = new Intent(Intent.ACTION_VIEW);
250                 intent.setData(Uri
251                                .parse("http://github.com/rdoeffinger/Dictionary/issues"));
252                 context.startActivity(intent);
253                 return false;
254             }
255         });
256     }
257
258     private String selectDefaultDir() {
259         final File defaultDictDir = new File(Environment.getExternalStorageDirectory(), "quickDic");
260         String dir = defaultDictDir.getAbsolutePath();
261         File dictDir = new File(dir);
262         String[] fileList = dictDir.isDirectory() ? dictDir.list() : null;
263         if (fileList != null && fileList.length > 0) {
264             return dir;
265         }
266         File efd = null;
267         try {
268             efd = appContext.getExternalFilesDir(null);
269         } catch (Exception e) {
270         }
271         if (efd != null) {
272             efd.mkdirs();
273             if (!dictDir.isDirectory() && Build.VERSION.SDK_INT >= Build.VERSION_CODES.KITKAT) {
274                 appContext.getExternalFilesDirs(null);
275             }
276             if (efd.isDirectory() && efd.canWrite() && checkFileCreate(efd)) {
277                 return efd.getAbsolutePath();
278             }
279         }
280         if (!dictDir.isDirectory() && !dictDir.mkdirs()) {
281             return appContext.getFilesDir().getAbsolutePath();
282         }
283         return dir;
284     }
285
286     public synchronized File getDictDir() {
287         // This metaphor doesn't work, because we've already reset
288         // prefsMightHaveChanged.
289         final SharedPreferences prefs = PreferenceManager.getDefaultSharedPreferences(appContext);
290         String dir = prefs.getString(appContext.getString(R.string.quickdicDirectoryKey), "");
291         if (dir.isEmpty()) {
292             dir = selectDefaultDir();
293         }
294         dictDir = new File(dir);
295         dictDir.mkdirs();
296         if (!dictDir.isDirectory() && Build.VERSION.SDK_INT >= Build.VERSION_CODES.KITKAT) {
297             appContext.getExternalFilesDirs(null);
298         }
299         return dictDir;
300     }
301
302     static public boolean checkFileCreate(File dir) {
303         boolean res = false;
304         File testfile = new File(dir, "quickdic_writetest");
305         try {
306             testfile.delete();
307             res = testfile.createNewFile() & testfile.delete();
308         } catch (Exception e) {
309         }
310         return res;
311     }
312
313     public File getWordListFile() {
314         final SharedPreferences prefs = PreferenceManager.getDefaultSharedPreferences(appContext);
315         String file = prefs.getString(appContext.getString(R.string.wordListFileKey), "");
316         if (file.isEmpty()) {
317             return new File(getDictDir(), "wordList.txt");
318         }
319         return new File(file);
320     }
321
322     public Theme getSelectedTheme() {
323         final SharedPreferences prefs = PreferenceManager.getDefaultSharedPreferences(appContext);
324         final String theme = prefs.getString(appContext.getString(R.string.themeKey), "themeLight");
325         if (theme.equals("themeLight")) {
326             return Theme.LIGHT;
327         } else {
328             return Theme.DEFAULT;
329         }
330     }
331
332     public File getPath(String uncompressedFilename) {
333         return new File(getDictDir(), uncompressedFilename);
334     }
335
336     String defaultLangISO2 = Locale.getDefault().getLanguage().toLowerCase();
337     String defaultLangName = null;
338     final Map<String, String> fileToNameCache = new HashMap<String, String>();
339
340     public List<IndexInfo> sortedIndexInfos(List<IndexInfo> indexInfos) {
341         // Hack to put the default locale first in the name.
342         if (indexInfos.size() > 1 &&
343                 indexInfos.get(1).shortName.toLowerCase().equals(defaultLangISO2)) {
344             List<IndexInfo> result = new ArrayList<DictionaryInfo.IndexInfo>(indexInfos);
345             ListUtil.swap(result, 0, 1);
346             return result;
347         }
348         return indexInfos;
349     }
350
351     public synchronized String getDictionaryName(final String uncompressedFilename) {
352         final String currentLocale = Locale.getDefault().getLanguage().toLowerCase();
353         if (!currentLocale.equals(defaultLangISO2)) {
354             defaultLangISO2 = currentLocale;
355             fileToNameCache.clear();
356             defaultLangName = null;
357         }
358         if (defaultLangName == null) {
359             defaultLangName = IsoUtils.INSTANCE.isoCodeToLocalizedLanguageName(appContext, defaultLangISO2);
360         }
361
362         String name = fileToNameCache.get(uncompressedFilename);
363         if (name != null) {
364             return name;
365         }
366
367         final DictionaryInfo dictionaryInfo = DOWNLOADABLE_UNCOMPRESSED_FILENAME_NAME_TO_DICTIONARY_INFO
368                                               .get(uncompressedFilename);
369         if (dictionaryInfo != null) {
370             final StringBuilder nameBuilder = new StringBuilder();
371
372             List<IndexInfo> sortedIndexInfos = sortedIndexInfos(dictionaryInfo.indexInfos);
373             for (int i = 0; i < sortedIndexInfos.size(); ++i) {
374                 if (i > 0) {
375                     nameBuilder.append("-");
376                 }
377                 nameBuilder
378                 .append(IsoUtils.INSTANCE.isoCodeToLocalizedLanguageName(appContext, sortedIndexInfos.get(i).shortName));
379             }
380             name = nameBuilder.toString();
381         } else {
382             name = uncompressedFilename.replace(".quickdic", "");
383         }
384         fileToNameCache.put(uncompressedFilename, name);
385         return name;
386     }
387
388     public synchronized void moveDictionaryToTop(final DictionaryInfo dictionaryInfo) {
389         dictionaryConfig.dictionaryFilesOrdered.remove(dictionaryInfo.uncompressedFilename);
390         dictionaryConfig.dictionaryFilesOrdered.add(0, dictionaryInfo.uncompressedFilename);
391         PersistentObjectCache.getInstance().write(C.DICTIONARY_CONFIGS, dictionaryConfig);
392     }
393
394     public synchronized void sortDictionaries() {
395         Collections.sort(dictionaryConfig.dictionaryFilesOrdered, uncompressedFilenameComparator);
396         PersistentObjectCache.getInstance().write(C.DICTIONARY_CONFIGS, dictionaryConfig);
397     }
398
399     public synchronized void deleteDictionary(final DictionaryInfo dictionaryInfo) {
400         while (dictionaryConfig.dictionaryFilesOrdered.remove(dictionaryInfo.uncompressedFilename)) {
401         }
402         dictionaryConfig.uncompressedFilenameToDictionaryInfo
403         .remove(dictionaryInfo.uncompressedFilename);
404         getPath(dictionaryInfo.uncompressedFilename).delete();
405         PersistentObjectCache.getInstance().write(C.DICTIONARY_CONFIGS, dictionaryConfig);
406     }
407
408     final Comparator collator = USE_COLLATOR ? Collator.getInstance() : String.CASE_INSENSITIVE_ORDER;
409     final Comparator<String> uncompressedFilenameComparator = new Comparator<String>() {
410         @Override
411         public int compare(String uncompressedFilename1, String uncompressedFilename2) {
412             final String name1 = getDictionaryName(uncompressedFilename1);
413             final String name2 = getDictionaryName(uncompressedFilename2);
414             if (defaultLangName.length() > 0) {
415                 if (name1.startsWith(defaultLangName + "-")
416                         && !name2.startsWith(defaultLangName + "-")) {
417                     return -1;
418                 } else if (name2.startsWith(defaultLangName + "-")
419                            && !name1.startsWith(defaultLangName + "-")) {
420                     return 1;
421                 }
422             }
423             return collator.compare(name1, name2);
424         }
425     };
426     final Comparator<DictionaryInfo> dictionaryInfoComparator = new Comparator<DictionaryInfo>() {
427         @Override
428         public int compare(DictionaryInfo d1, DictionaryInfo d2) {
429             // Single-index dictionaries first.
430             if (d1.indexInfos.size() != d2.indexInfos.size()) {
431                 return d1.indexInfos.size() - d2.indexInfos.size();
432             }
433             return uncompressedFilenameComparator.compare(d1.uncompressedFilename,
434                     d2.uncompressedFilename);
435         }
436     };
437
438     public void backgroundUpdateDictionaries(final Runnable onUpdateFinished) {
439         new Thread(new Runnable() {
440             @Override
441             public void run() {
442                 final DictionaryConfig oldDictionaryConfig = new DictionaryConfig();
443                 synchronized (DictionaryApplication.this) {
444                     oldDictionaryConfig.dictionaryFilesOrdered
445                     .addAll(dictionaryConfig.dictionaryFilesOrdered);
446                 }
447                 final DictionaryConfig newDictionaryConfig = new DictionaryConfig();
448                 for (final String uncompressedFilename : oldDictionaryConfig.dictionaryFilesOrdered) {
449                     final File dictFile = getPath(uncompressedFilename);
450                     final DictionaryInfo dictionaryInfo = Dictionary.getDictionaryInfo(dictFile);
451                     if (dictionaryInfo.isValid() || dictFile.exists()) {
452                         newDictionaryConfig.dictionaryFilesOrdered.add(uncompressedFilename);
453                         newDictionaryConfig.uncompressedFilenameToDictionaryInfo.put(
454                             uncompressedFilename, dictionaryInfo);
455                     }
456                 }
457
458                 // Are there dictionaries on the device that we didn't know
459                 // about already?
460                 // Pick them up and put them at the end of the list.
461                 final List<String> toAddSorted = new ArrayList<String>();
462                 final File[] dictDirFiles = getDictDir().listFiles();
463                 if (dictDirFiles != null) {
464                     for (final File file : dictDirFiles) {
465                         if (file.getName().endsWith(".zip")) {
466                             if (DOWNLOADABLE_UNCOMPRESSED_FILENAME_NAME_TO_DICTIONARY_INFO
467                                     .containsKey(file.getName().replace(".zip", ""))) {
468                                 file.delete();
469                             }
470                         }
471                         if (!file.getName().endsWith(".quickdic")) {
472                             continue;
473                         }
474                         if (newDictionaryConfig.uncompressedFilenameToDictionaryInfo
475                                 .containsKey(file.getName())) {
476                             // We have it in our list already.
477                             continue;
478                         }
479                         final DictionaryInfo dictionaryInfo = Dictionary.getDictionaryInfo(file);
480                         if (!dictionaryInfo.isValid()) {
481                             Log.e(LOG, "Unable to parse dictionary: " + file.getPath());
482                         }
483
484                         toAddSorted.add(file.getName());
485                         newDictionaryConfig.uncompressedFilenameToDictionaryInfo.put(
486                             file.getName(), dictionaryInfo);
487                     }
488                 } else {
489                     Log.w(LOG, "dictDir is not a directory: " + getDictDir().getPath());
490                 }
491                 if (!toAddSorted.isEmpty()) {
492                     Collections.sort(toAddSorted, uncompressedFilenameComparator);
493                     newDictionaryConfig.dictionaryFilesOrdered.addAll(toAddSorted);
494                 }
495
496                 try {
497                     PersistentObjectCache.getInstance()
498                     .write(C.DICTIONARY_CONFIGS, newDictionaryConfig);
499                 } catch (Exception e) {
500                     Log.e(LOG, "Failed persisting dictionary configs", e);
501                 }
502
503                 synchronized (DictionaryApplication.this) {
504                     dictionaryConfig = newDictionaryConfig;
505                 }
506
507                 try {
508                     onUpdateFinished.run();
509                 } catch (Exception e) {
510                     Log.e(LOG, "Exception running callback.", e);
511                 }
512             }
513         }).start();
514     }
515
516     public boolean matchesFilters(final DictionaryInfo dictionaryInfo, final String[] filters) {
517         if (filters == null) {
518             return true;
519         }
520         for (final String filter : filters) {
521             if (!getDictionaryName(dictionaryInfo.uncompressedFilename).toLowerCase().contains(
522                         filter)) {
523                 return false;
524             }
525         }
526         return true;
527     }
528
529     public synchronized List<DictionaryInfo> getDictionariesOnDevice(String[] filters) {
530         final List<DictionaryInfo> result = new ArrayList<DictionaryInfo>(
531             dictionaryConfig.dictionaryFilesOrdered.size());
532         for (final String uncompressedFilename : dictionaryConfig.dictionaryFilesOrdered) {
533             final DictionaryInfo dictionaryInfo = dictionaryConfig.uncompressedFilenameToDictionaryInfo
534                                                   .get(uncompressedFilename);
535             if (dictionaryInfo != null && matchesFilters(dictionaryInfo, filters)) {
536                 result.add(dictionaryInfo);
537             }
538         }
539         return result;
540     }
541
542     public List<DictionaryInfo> getDownloadableDictionaries(String[] filters) {
543         final List<DictionaryInfo> result = new ArrayList<DictionaryInfo>(
544             dictionaryConfig.dictionaryFilesOrdered.size());
545
546         final Map<String, DictionaryInfo> remaining = new HashMap<String, DictionaryInfo>(
547             DOWNLOADABLE_UNCOMPRESSED_FILENAME_NAME_TO_DICTIONARY_INFO);
548         remaining.keySet().removeAll(dictionaryConfig.dictionaryFilesOrdered);
549         for (final DictionaryInfo dictionaryInfo : remaining.values()) {
550             if (matchesFilters(dictionaryInfo, filters)) {
551                 result.add(dictionaryInfo);
552             }
553         }
554         Collections.sort(result, dictionaryInfoComparator);
555         return result;
556     }
557
558     public synchronized boolean isDictionaryOnDevice(String uncompressedFilename) {
559         return dictionaryConfig.uncompressedFilenameToDictionaryInfo.get(uncompressedFilename) != null;
560     }
561
562     public boolean updateAvailable(final DictionaryInfo dictionaryInfo) {
563         final DictionaryInfo downloadable =
564             DOWNLOADABLE_UNCOMPRESSED_FILENAME_NAME_TO_DICTIONARY_INFO.get(
565                 dictionaryInfo.uncompressedFilename);
566         return downloadable != null &&
567                downloadable.creationMillis > dictionaryInfo.creationMillis;
568     }
569
570     public DictionaryInfo getDownloadable(final String uncompressedFilename) {
571         final DictionaryInfo downloadable = DOWNLOADABLE_UNCOMPRESSED_FILENAME_NAME_TO_DICTIONARY_INFO
572                                             .get(uncompressedFilename);
573         return downloadable;
574     }
575
576 }