am 40e91e45: Merge "Check the version of format options before writing."

* commit '40e91e45825d31ae0bc075466406a4330b8df9bf':
  Check the version of format options before writing.

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();
         }