# HG changeset patch
# User Robert Casties <casties@mpiwg-berlin.mpg.de>
# Date 1517926469 -3600
# Node ID 8005f70119757d31f456da1d308f73a496c84b8e
# Parent  d4b456623d431aff020f11b594b5e0a298008a92
update version number in xml.

diff -r d4b456623d43 -r 8005f7011975 src/main/java/org/mpi/openmind/repository/utils/OM4StreamWriter.java
--- a/src/main/java/org/mpi/openmind/repository/utils/OM4StreamWriter.java	Mon Feb 05 20:06:38 2018 +0100
+++ b/src/main/java/org/mpi/openmind/repository/utils/OM4StreamWriter.java	Tue Feb 06 15:14:29 2018 +0100
@@ -32,6 +32,8 @@
  */
 public class OM4StreamWriter {
 
+    protected static final String FORMAT_VERSION = "4.7";
+
     private static Logger logger = Logger.getLogger(OM4StreamWriter.class);
 
     private static final int itemsPerPage = 500;
@@ -105,12 +107,12 @@
 
             if (type.equals(Node.TYPE_ABOX)) {
                 writer.writeStartElement(XMLUtil.OPENMIND_DATA);
-                writer.writeAttribute("version", "4.6");
+                writer.writeAttribute("version", FORMAT_VERSION);
                 // get number of content Entities
                 entitiesCount = ps.getEntityCount(null).intValue();
             } else {
                 writer.writeStartElement(XMLUtil.META_DATA);
-                writer.writeAttribute("version", "4.6");
+                writer.writeAttribute("version", FORMAT_VERSION);
                 // get number of definition Entities
                 entitiesCount = ps.getEntityCount(Node.TYPE_TBOX).intValue();
             }