Index: /trunk/quest-core-events/src/main/java/de/ugoe/cs/quest/eventcore/guimodel/GUIElementFactory.java
===================================================================
--- /trunk/quest-core-events/src/main/java/de/ugoe/cs/quest/eventcore/guimodel/GUIElementFactory.java	(revision 743)
+++ /trunk/quest-core-events/src/main/java/de/ugoe/cs/quest/eventcore/guimodel/GUIElementFactory.java	(revision 744)
@@ -229,9 +229,8 @@
                         mappingsFile.getName().endsWith(".txt"))
                     {
-                        InputStream inStream;
+                        InputStream inStream = null;
                         try {
                             inStream = new FileInputStream(mappingsFile);
                             mappingsFromConfiguration.load(inStream);
-                            inStream.close();
                         }
                         catch (FileNotFoundException e) {
@@ -243,4 +242,14 @@
                                 ("could not read mapping configuration file " + mappingsFile, e);
                         }
+                        finally {
+                            if (inStream != null) {
+                                try {
+                                    inStream.close();
+                                }
+                                catch (IOException e) {
+                                    // ignore
+                                }
+                            }
+                        }
                     }
                 }