Check the version of format options before writing.

Change-Id: I3951e4395a2da225e240e856c23339b679e6155e

java/src/com/android/inputmethod/latin/makedict/Ver3DictEncoder.java

@@ -68,6 +68,12 @@ public class Ver3DictEncoder implements DictEncoder {
     @Override
     public void writeDictionary(final FusionDictionary dict, final FormatOptions formatOptions)
             throws IOException, UnsupportedFormatException {
+        if (formatOptions.mVersion > 3) {
+            throw new UnsupportedFormatException(
+                    "The given format options has wrong version number : "
+                    + formatOptions.mVersion);
+        }
+
         if (mOutStream == null) {
             openStream();
         }