Index: /Code/ModelTranslator/output/Linux.ivml
===================================================================
--- /Code/ModelTranslator/output/Linux.ivml	(revision 73)
+++ /Code/ModelTranslator/output/Linux.ivml	(revision 74)
@@ -1,6 +1,5 @@
 project Linux {
 
-    // X86 translation of Linux 2.6.33.3 using Dumpconf-v 2.6.33.3
-    // Created on 18.08.2014
+    enum Tristate {Undefined, Defined, Module};
     Boolean A11Y_BRAILLE_CONSOLE;
     Tristate A2065;
Index: /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CNFConverter.java
===================================================================
--- /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CNFConverter.java	(revision 73)
+++ /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CNFConverter.java	(revision 74)
@@ -6,5 +6,7 @@
 import de.uni_hildesheim.sse.model.varModel.Constraint;
 import de.uni_hildesheim.sse.model.varModel.Project;
+import de.uni_hildesheim.sse.model.varModel.datatypes.CustomDatatype;
 import de.uni_hildesheim.sse.model.varModel.filter.ConstraintFinder;
+import de.uni_hildesheim.sse.model.varModel.filter.DatatypeFinder;
 import de.uni_hildesheim.sse.model.varModel.filter.DeclarationFinder;
 import de.uni_hildesheim.sse.model.varModel.filter.FilterType;
@@ -31,8 +33,8 @@
         project.clear();
         
-        // 1. re-add Declarations
+        // 1. Re-add Declarations
         List<AbstractVariable> declarations = declfinder.getVariableDeclarations(VisibilityType.ALL);
-        for (AbstractVariable declaration : declarations) {
-            project.add(declaration);
+        for (int i = 0, n = declarations.size(); i < n; i++) {
+            project.add(declarations.get(i));
         }
         declfinder = null;
Index: /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/IVMLWriter.java
===================================================================
--- /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/IVMLWriter.java	(revision 73)
+++ /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/IVMLWriter.java	(revision 74)
@@ -17,5 +17,7 @@
 import de.uni_hildesheim.sse.model.varModel.ModelElement;
 import de.uni_hildesheim.sse.model.varModel.Project;
+import de.uni_hildesheim.sse.model.varModel.datatypes.CustomDatatype;
 import de.uni_hildesheim.sse.model.varModel.filter.ConstraintFinder;
+import de.uni_hildesheim.sse.model.varModel.filter.DatatypeFinder;
 import de.uni_hildesheim.sse.model.varModel.filter.DeclarationFinder;
 import de.uni_hildesheim.sse.model.varModel.filter.DeclarationFinder.VisibilityType;
@@ -61,7 +63,6 @@
      */
     public void write(String comment, String version) {
-        // TODO handle custom IDtatatypes (currently not used)
-        
         // Store complete content of project (imports are not used in this project).
+        DatatypeFinder typeFinder = new DatatypeFinder(project, FilterType.ALL, null);
         DeclarationFinder declfinder = new DeclarationFinder(project, FilterType.ALL, null);
         ConstraintFinder constFinder = new ConstraintFinder(project);
@@ -89,9 +90,15 @@
         }
         
-        // 2. re-add Declarations
+        // 2. Re-add Custom Datatypes
+        List<CustomDatatype> customTypes = typeFinder.getFoundDatatypes();
+        for (int i = 0, n = customTypes.size(); i < n; i++) {
+            project.add(customTypes.get(i));
+        }
+        
+        // 3. re-add Declarations
         List<AbstractVariable> declarations = declfinder.getVariableDeclarations(VisibilityType.ALL);
         handleDeclarations(declarations);
         
-        // 3. re-add all constraints
+        // 4. re-add all constraints
         List<Constraint> constraints = constFinder.getConstraints();
         for (Constraint constraint : constraints) {
@@ -99,5 +106,5 @@
         }
         
-        // 4. check re-written model
+        // 5. check re-written model
         IvmlValidationVisitor validator = new IvmlValidationVisitor();
         project.accept(validator);