basic learner project

using log4j

basic learner project
77c7d30d · Harco Kuppens · 77c7d30d · 77c7d30d · 77c7d30d · 77c7d30d
Commit 77c7d30d authored 8 years ago by Harco Kuppens
--- a/.classpath
+++ b/.classpath
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+	<classpathentry excluding="automata/" kind="src" path="src"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
+	<classpathentry kind="lib" path="lib/learnlib/automata-parent-0.6.1-sha1-601e6fe.jar" sourcepath="lib/learnlib/sources/automata-parent-0.6.1-sha1-601e6fe-sources.jar">
+		<attributes>
+			<attribute name="javadoc_location" value="jar:platform:/resource/testproject/lib/learnlib/javadoc/automata-parent-0.6.1-sha1-601e6fe-javadoc.jar!/"/>
+		</attributes>
+	</classpathentry>
+	<classpathentry kind="lib" path="lib/learnlib/automaton-1.11-8.jar" sourcepath="lib/learnlib/sources/automaton-1.11-8-sources.jar">
+		<attributes>
+			<attribute name="javadoc_location" value="jar:platform:/resource/testproject/lib/learnlib/javadoc/automaton-1.11-8-javadoc.jar!/"/>
+		</attributes>
+	</classpathentry>
+	<classpathentry kind="lib" path="lib/learnlib/bsh-2.0b4.jar"/>
+	<classpathentry kind="lib" path="lib/learnlib/collections-generic-4.01.jar" sourcepath="lib/learnlib/sources/collections-generic-4.01-sources.jar">
+		<attributes>
+			<attribute name="javadoc_location" value="jar:platform:/resource/testproject/lib/learnlib/javadoc/collections-generic-4.01-javadoc.jar!/"/>
+		</attributes>
+	</classpathentry>
+	<classpathentry kind="lib" path="lib/learnlib/colt-1.2.0.jar"/>
+	<classpathentry kind="lib" path="lib/learnlib/concurrent-1.3.4.jar" sourcepath="lib/learnlib/sources/concurrent-1.3.4-sources.jar"/>
+	<classpathentry kind="lib" path="lib/learnlib/graphviz-awt-shapes-0.0.1.jar" sourcepath="lib/learnlib/sources/graphviz-awt-shapes-0.0.1-sources.jar">
+		<attributes>
+			<attribute name="javadoc_location" value="jar:platform:/resource/testproject/lib/learnlib/javadoc/graphviz-awt-shapes-0.0.1-javadoc.jar!/"/>
+		</attributes>
+	</classpathentry>
+	<classpathentry kind="lib" path="lib/learnlib/guava-18.0.jar" sourcepath="lib/learnlib/sources/guava-18.0-sources.jar">
+		<attributes>
+			<attribute name="javadoc_location" value="jar:platform:/resource/testproject/lib/learnlib/javadoc/guava-18.0-javadoc.jar!/"/>
+		</attributes>
+	</classpathentry>
+	<classpathentry kind="lib" path="lib/learnlib/jcommander-1.27.jar" sourcepath="lib/learnlib/sources/jcommander-1.27-sources.jar">
+		<attributes>
+			<attribute name="javadoc_location" value="jar:platform:/resource/testproject/lib/learnlib/javadoc/jcommander-1.27-javadoc.jar!/"/>
+		</attributes>
+	</classpathentry>
+	<classpathentry kind="lib" path="lib/learnlib/jsr305-2.0.3.jar" sourcepath="lib/learnlib/sources/jsr305-2.0.3-sources.jar">
+		<attributes>
+			<attribute name="javadoc_location" value="jar:platform:/resource/testproject/lib/learnlib/javadoc/jsr305-2.0.3-javadoc.jar!/"/>
+		</attributes>
+	</classpathentry>
+	<classpathentry kind="lib" path="lib/learnlib/jung-algorithms-2.0.1.jar" sourcepath="lib/learnlib/sources/jung-algorithms-2.0.1-sources.jar"/>
+	<classpathentry kind="lib" path="lib/learnlib/jung-api-2.0.1.jar" sourcepath="lib/learnlib/sources/jung-api-2.0.1-sources.jar"/>
+	<classpathentry kind="lib" path="lib/learnlib/jung-graph-impl-2.0.1.jar" sourcepath="lib/learnlib/sources/jung-graph-impl-2.0.1-sources.jar"/>
+	<classpathentry kind="lib" path="lib/learnlib/jung-io-2.0.1.jar" sourcepath="lib/learnlib/sources/jung-io-2.0.1-sources.jar"/>
+	<classpathentry kind="lib" path="lib/learnlib/jung-visualization-2.0.1.jar" sourcepath="lib/learnlib/sources/jung-visualization-2.0.1-sources.jar"/>
+	<classpathentry kind="lib" path="lib/learnlib/learnlib-parent-0.12.1-sha1-883c043.jar" sourcepath="lib/learnlib/sources/learnlib-parent-0.12.1-sha1-883c043-sources.jar">
+		<attributes>
+			<attribute name="javadoc_location" value="jar:platform:/resource/testproject/lib/learnlib/javadoc/learnlib-parent-0.12.1-sha1-883c043-javadoc.jar!/"/>
+		</attributes>
+	</classpathentry>
+	<classpathentry kind="lib" path="lib/learnlib/stax-api-1.0.1.jar"/>
+	<classpathentry kind="lib" path="lib/learnlib/testng-6.8.8.jar" sourcepath="lib/learnlib/sources/testng-6.8.8-sources.jar">
+		<attributes>
+			<attribute name="javadoc_location" value="jar:platform:/resource/testproject/lib/learnlib/javadoc/testng-6.8.8-javadoc.jar!/"/>
+		</attributes>
+	</classpathentry>
+	<classpathentry kind="lib" path="lib/learnlib/wstx-asl-3.2.6.jar" sourcepath="lib/learnlib/sources/wstx-asl-3.2.6-sources.jar"/>
+	<classpathentry kind="lib" path="lib/junit-3.8.1.jar"/>
+	<classpathentry kind="lib" path="lib/log4j-1.2.17.jar"/>
+	<classpathentry kind="output" path="bin"/>
+</classpath>
--- a/.gitignore
+++ b/.gitignore
+/bin/
+/log/
--- a/.project
+++ b/.project
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>LearnDezyneAlarm</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>org.eclipse.jdt.core.javabuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>org.eclipse.jdt.core.javanature</nature>
+	</natures>
+</projectDescription>
--- a/build.xml
+++ b/build.xml
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- WARNING: Eclipse auto-generated file.
+              Any modifications will be overwritten.
+              To include a user specific buildfile here, simply create one in the same
+              directory with the processing instruction <?eclipse.ant.import?>
+              as the first entry and export the buildfile again. --><project basedir="." default="build" name="LearnDezyneAlarm">
+    <property environment="env"/>
+    <property name="ECLIPSE_HOME" value="../../../../../Applications/Eclipse_4.6_Neon.app/Contents/Eclipse/"/>
+    <property name="debuglevel" value="source,lines,vars"/>
+    <property name="target" value="1.8"/>
+    <property name="source" value="1.8"/>
+    <path id="LearnDezyneAlarm.classpath">
+        <pathelement location="bin"/>
+        <pathelement location="lib/learnlib/automata-parent-0.6.1-sha1-601e6fe.jar"/>
+        <pathelement location="lib/learnlib/automaton-1.11-8.jar"/>
+        <pathelement location="lib/learnlib/bsh-2.0b4.jar"/>
+        <pathelement location="lib/learnlib/collections-generic-4.01.jar"/>
+        <pathelement location="lib/learnlib/colt-1.2.0.jar"/>
+        <pathelement location="lib/learnlib/concurrent-1.3.4.jar"/>
+        <pathelement location="lib/learnlib/graphviz-awt-shapes-0.0.1.jar"/>
+        <pathelement location="lib/learnlib/guava-18.0.jar"/>
+        <pathelement location="lib/learnlib/jcommander-1.27.jar"/>
+        <pathelement location="lib/learnlib/jsr305-2.0.3.jar"/>
+        <pathelement location="lib/learnlib/jung-algorithms-2.0.1.jar"/>
+        <pathelement location="lib/learnlib/jung-api-2.0.1.jar"/>
+        <pathelement location="lib/learnlib/jung-graph-impl-2.0.1.jar"/>
+        <pathelement location="lib/learnlib/jung-io-2.0.1.jar"/>
+        <pathelement location="lib/learnlib/jung-visualization-2.0.1.jar"/>
+        <pathelement location="lib/learnlib/learnlib-parent-0.12.1-sha1-883c043.jar"/>
+        <pathelement location="lib/learnlib/stax-api-1.0.1.jar"/>
+        <pathelement location="lib/learnlib/testng-6.8.8.jar"/>
+        <pathelement location="lib/learnlib/wstx-asl-3.2.6.jar"/>
+        <pathelement location="lib/junit-3.8.1.jar"/>
+        <pathelement location="lib/log4j-1.2.17.jar"/>
+    </path>
+    <target name="init">
+        <mkdir dir="bin"/>
+        <copy includeemptydirs="false" todir="bin">
+            <fileset dir="src">
+                <exclude name="**/*.launch"/>
+                <exclude name="**/*.xtend"/>
+                <exclude name="**/*.java"/>
+                <exclude name="automata/"/>
+            </fileset>
+        </copy>
+    </target>
+    <target name="clean">
+        <delete dir="bin"/>
+    </target>
+    <target depends="clean" name="cleanall"/>
+    <target depends="build-subprojects,build-project" name="build"/>
+    <target name="build-subprojects"/>
+    <target depends="init" name="build-project">
+        <echo message="${ant.project.name}: ${ant.file}"/>
+        <javac debug="true" debuglevel="${debuglevel}" destdir="bin" includeantruntime="false" source="${source}" target="${target}">
+            <src path="src"/>
+            <exclude name="automata/"/>
+            <classpath refid="LearnDezyneAlarm.classpath"/>
+        </javac>
+    </target>
+    <target description="Build all projects which reference this project. Useful to propagate changes." name="build-refprojects"/>
+    <target description="copy Eclipse compiler jars to ant lib directory" name="init-eclipse-compiler">
+        <copy todir="${ant.library.dir}">
+            <fileset dir="${ECLIPSE_HOME}/plugins" includes="org.eclipse.jdt.core_*.jar"/>
+        </copy>
+        <unzip dest="${ant.library.dir}">
+            <patternset includes="jdtCompilerAdapter.jar"/>
+            <fileset dir="${ECLIPSE_HOME}/plugins" includes="org.eclipse.jdt.core_*.jar"/>
+        </unzip>
+    </target>
+    <target description="compile project with Eclipse compiler" name="build-eclipse-compiler">
+        <property name="build.compiler" value="org.eclipse.jdt.core.JDTCompilerAdapter"/>
+        <antcall target="build"/>
+    </target>
+    <target name="run">
+        <java classname="learner.Main" failonerror="true" fork="yes">
+            <classpath refid="LearnDezyneAlarm.classpath"/>
+        </java>
+    </target>
+</project>
--- a/config/log4j.advanced.conf
+++ b/config/log4j.advanced.conf
+###############################################################################
+#                                 log4j config                                #
+###############################################################################
+#
+# The levels of logging are TRACE, DEBUG, INFO, WARN, ERROR and FATAL.
+# ALL   - has  the lowest possible rank and is intended to turn on all logging.
+# TRACE - finer-grained informational events than the DEBUG
+# DEBUG - fine-grained informational events that are most useful to debug an application.
+# INFO  - informational messages that highlight the progress of the application at coarse-grained level.
+# WARN  - potentially harmful situations.
+# ERROR - error events that might still allow the application to continue running.
+# FATAL - very severe error events that will presumably lead the application to abort.
+# OFF   - has the highest possible rank and is intended to turn off logging.
+#
+#------------------------------------------------------------------------------
+#     configure parameters
+#------------------------------------------------------------------------------
+rootLogLevel=debug
+#rootLogLevel=off  # disables all logging
+rootAppenders= , stdout, stderr , log_file
+#rootAppenders= , stdout, log_file
+# what range of messages to send to stdout and what to stderr  
+consoleStdOut_MIN=DEBUG
+consoleStdOut_MAX=INFO
+consoleStdErr_MIN=WARN
+consoleStdErr_MAX=FATAL
+# log to file(s)
+logDir=log/
+logFile=log.txt
+logFileThreshold=debug
+# extra logfiles for learn and test traces
+equivTracesFile=equivTraces.txt
+memTracesFile=memTraces.txt
+#------------------------------------------------------------------------------
+#              define loggers and attach appenders
+#------------------------------------------------------------------------------
+# root of logger hierarchy : 
+#  - first arg is default logger level
+#  - remaining args are appenders attached to logger
+#log4j.rootLogger=info, console, log_file
+log4j.rootLogger=${rootLogLevel} ${rootAppenders} 
+# only set logger level in logger class hierarchy (multiple lines possible)
+#log4j.logger.abslearning=off
+#log4j.logger.abslearning=debug
+log4j.logger.alarmsystem.AlarmSUL=info
+# disable logging entirely :
+#log4j.threshold=off
+# Special loggers disconnected from standard logger hierarchy 
+# Form them disable  bubbling up log messages in the logger hierarchy until that logger:
+log4j.additivity.memTraces=false  
+log4j.additivity.equivTraces=false  
+# note: messages from the logger 'memTraces' and loggers lower in the hierarch won't reach the rootlogger (which is always highest up)
+log4j.logger.memTraces= debug, memTraces_file
+log4j.logger.equivTraces= debug, equivTraces_file
+#------------------------------------------------------------------------------
+#              define console appenders
+#------------------------------------------------------------------------------
+consoleStdOutThreshold=${consoleStdOut_MIN}
+# define appender which outputs to stdout on console
+log4j.appender.stdout = org.apache.log4j.ConsoleAppender
+log4j.appender.stderr.Target = System.out
+# filter logmessages : only messages within range are let through in output 
+log4j.appender.stdout.Threshold=${consoleStdOutThreshold}
+log4j.appender.stdout.filter.filter1=org.apache.log4j.varia.LevelRangeFilter
+log4j.appender.stdout.filter.filter1.levelMin=${consoleStdOut_MIN}
+log4j.appender.stdout.filter.filter1.levelMax=${consoleStdOut_MAX}
+# define format used for log message
+log4j.appender.stdout.layout=org.apache.log4j.PatternLayout
+#log4j.appender.stdout.layout.ConversionPattern=%d [%p] (%C.java:%L):%M: %m%n
+#log4j.appender.stdout.layout.ConversionPattern=[%p] %M (%C.java:%L): %m%n
+#log4j.appender.stdout.layout.ConversionPattern=[%-5p] %M in %C(%F:%L): %m%n
+log4j.appender.stdout.layout.ConversionPattern=[%-5p] %l: %m%n
+# configure stderr
+consoleStdErrThreshold=${consoleStdErr_MIN}
+# set the conversion pattern of stdout
+log4j.appender.stderr = org.apache.log4j.ConsoleAppender
+log4j.appender.stderr.Target = System.err
+# filter logmessages : only messages within range are let through in output 
+log4j.appender.stderr.Threshold=${consoleStdErrThreshold}
+log4j.appender.stdErr.filter.filter1=org.apache.log4j.varia.LevelRangeFilter
+log4j.appender.stdErr.filter.filter1.levelMin=${consoleStdErr_MIN}
+log4j.appender.stdErr.filter.filter1.levelMax=${consoleStdErr_MAX}
+# define format used for log message
+log4j.appender.stdout.layout=org.apache.log4j.PatternLayout
+log4j.appender.stderr.layout = org.apache.log4j.PatternLayout
+#log4j.appender.stderr.layout.ConversionPattern=%d [%p] (%C.java:%L):%M: %m%n
+#log4j.appender.stderr.layout.ConversionPattern=[%p] %M (%C.java:%L): %m%n
+#log4j.appender.stderr.layout.ConversionPattern=[%p] %M (%F:%L): %m%n
+log4j.appender.stderr.layout.ConversionPattern=[%-5p] %l: %m%n
+#------------------------------------------------------------------------------
+#              file appenders (rolling)
+#------------------------------------------------------------------------------
+# define appender which outputs log messages to file
+log4j.appender.log_file=org.apache.log4j.RollingFileAppender
+log4j.appender.log_file.File= ${logDir}/${logFile} 
+log4j.appender.log_file.Append=false
+# Set MaxFilesize and Keep one backup file
+log4j.appender.log_file.MaxFileSize=150MB
+log4j.appender.log_file.MaxBackupIndex=100
+# filter log messages: only messages below specified threshold level are let through in output 
+log4j.appender.log_file.Threshold=${logFileThreshold}
+# define format used for log message
+log4j.appender.log_file.layout=org.apache.log4j.PatternLayout
+log4j.appender.log_file.layout.ConversionPattern=%-5p - %C:%L - %m%n
+#log4j.appender.log_file.layout.ConversionPattern=%p %t %c - %m%n
+# define appender which outputs query logs  to file
+log4j.appender.memTraces_file=org.apache.log4j.RollingFileAppender
+log4j.appender.memTraces_file.File= ${logDir}/${memTracesFile} 
+log4j.appender.memTraces_file.Append=false
+# Set MaxFilesize and Keep one backup file
+log4j.appender.memTraces_file.MaxFileSize=150MB
+log4j.appender.memTraces_file.MaxBackupIndex=100
+# filter logmessages : only messages below specified threshold level are let through in output 
+log4j.appender.memTraces_file.Threshold=debug
+# define format used for log message
+log4j.appender.memTraces_file.layout=org.apache.log4j.PatternLayout
+log4j.appender.memTraces_file.layout.ConversionPattern=%m%n
+# define appender which outputs query logs  to file
+log4j.appender.equivTraces_file=org.apache.log4j.RollingFileAppender
+log4j.appender.equivTraces_file.File= ${logDir}/${equivTracesFile} 
+log4j.appender.equivTraces_file.Append=false
+# Set MaxFilesize and Keep one backup file
+log4j.appender.equivTraces_file.MaxFileSize=150MB
+log4j.appender.equivTraces_file.MaxBackupIndex=100
+# filter logmessages : only messages below specified threshold level are let through in output 
+log4j.appender.equivTraces_file.Threshold=debug
+# define format used for log message
+log4j.appender.equivTraces_file.layout=org.apache.log4j.PatternLayout
+log4j.appender.equivTraces_file.layout.ConversionPattern=%m%n
--- a/config/log4j.simple.conf
+++ b/config/log4j.simple.conf
+###############################################################################
+#                                 log4j config                                #
+###############################################################################
+#
+# The levels of logging are TRACE, DEBUG, INFO, WARN, ERROR and FATAL.
+# ALL   - has  the lowest possible rank and is intended to turn on all logging.
+# TRACE - finer-grained informational events than the DEBUG
+# DEBUG - fine-grained informational events that are most useful to debug an application.
+# INFO  - informational messages that highlight the progress of the application at coarse-grained level.
+# WARN  - potentially harmful situations.
+# ERROR - error events that might still allow the application to continue running.
+# FATAL - very severe error events that will presumably lead the application to abort.
+# OFF   - has the highest possible rank and is intended to turn off logging.
+#
+#------------------------------------------------------------------------------
+#     configure parameters
+#------------------------------------------------------------------------------
+rootLogLevel=debug
+#rootLogLevel=off  # disables all logging
+rootAppenders= , stdout, stderr 
+# what range of messages to send to stdout and what to stderr  
+consoleStdOut_MIN=INFO
+consoleStdOut_MAX=INFO
+consoleStdErr_MIN=WARN
+consoleStdErr_MAX=FATAL
+#------------------------------------------------------------------------------
+#              define loggers and attach appenders
+#------------------------------------------------------------------------------
+# root of logger hierarchy : 
+#  - first arg is default logger level
+#  - remaining args are appenders attached to logger
+#log4j.rootLogger=info, console, log_file
+log4j.rootLogger=${rootLogLevel} ${rootAppenders} 
+# only set logger level in logger class hierarchy (multiple lines possible)
+#log4j.logger.abslearning=off
+#log4j.logger.abslearning=debug
+#log4j.logger.alarmsystem.AlarmSUL=info
+# disable logging entirely :
+#log4j.threshold=off
+# disable special loggers 
+log4j.logger.memTraces= off
+log4j.logger.equivTraces= off
+#------------------------------------------------------------------------------
+#              define console appenders
+#------------------------------------------------------------------------------
+consoleStdOutThreshold=${consoleStdOut_MIN}
+# define appender which outputs to stdout on console
+log4j.appender.stdout = org.apache.log4j.ConsoleAppender
+log4j.appender.stderr.Target = System.out
+# filter logmessages : only messages within range are let through in output 
+log4j.appender.stdout.Threshold=${consoleStdOutThreshold}
+log4j.appender.stdout.filter.filter1=org.apache.log4j.varia.LevelRangeFilter
+log4j.appender.stdout.filter.filter1.levelMin=${consoleStdOut_MIN}
+log4j.appender.stdout.filter.filter1.levelMax=${consoleStdOut_MAX}
+# define format used for log message
+log4j.appender.stdout.layout=org.apache.log4j.PatternLayout
+#log4j.appender.stdout.layout.ConversionPattern=%d [%p] (%C.java:%L):%M: %m%n
+#log4j.appender.stdout.layout.ConversionPattern=[%p] %M (%C.java:%L): %m%n
+#log4j.appender.stdout.layout.ConversionPattern=[%-5p] %M in %C(%F:%L): %m%n
+#log4j.appender.stdout.layout.ConversionPattern=[%-5p] %l: %m%n
+log4j.appender.stdout.layout.ConversionPattern=%m%n
+# configure stderr
+consoleStdErrThreshold=${consoleStdErr_MIN}
+# set the conversion pattern of stdout
+log4j.appender.stderr = org.apache.log4j.ConsoleAppender
+log4j.appender.stderr.Target = System.err
+# filter logmessages : only messages within range are let through in output 
+log4j.appender.stderr.Threshold=${consoleStdErrThreshold}
+log4j.appender.stdErr.filter.filter1=org.apache.log4j.varia.LevelRangeFilter
+log4j.appender.stdErr.filter.filter1.levelMin=${consoleStdErr_MIN}
+log4j.appender.stdErr.filter.filter1.levelMax=${consoleStdErr_MAX}
+# define format used for log message
+log4j.appender.stdout.layout=org.apache.log4j.PatternLayout
+log4j.appender.stderr.layout = org.apache.log4j.PatternLayout
+#log4j.appender.stderr.layout.ConversionPattern=%d [%p] (%C.java:%L):%M: %m%n
+#log4j.appender.stderr.layout.ConversionPattern=[%p] %M (%C.java:%L): %m%n
+#log4j.appender.stderr.layout.ConversionPattern=[%p] %M (%F:%L): %m%n
+#log4j.appender.stderr.layout.ConversionPattern=[%-5p] %l: %m%n
+log4j.appender.stderr.layout.ConversionPattern=%m%n
--- a/config/log4j.standard.conf
+++ b/config/log4j.standard.conf
+###############################################################################
+#                                 log4j config                                #
+###############################################################################
+#
+# The levels of logging are TRACE, DEBUG, INFO, WARN, ERROR and FATAL.
+# ALL   - has  the lowest possible rank and is intended to turn on all logging.
+# TRACE - finer-grained informational events than the DEBUG
+# DEBUG - fine-grained informational events that are most useful to debug an application.
+# INFO  - informational messages that highlight the progress of the application at coarse-grained level.
+# WARN  - potentially harmful situations.
+# ERROR - error events that might still allow the application to continue running.
+# FATAL - very severe error events that will presumably lead the application to abort.
+# OFF   - has the highest possible rank and is intended to turn off logging.
+#
+#------------------------------------------------------------------------------
+#     configure parameters
+#------------------------------------------------------------------------------
+rootLogLevel=debug
+#rootLogLevel=off  # disables all logging
+rootAppenders= , stdout, stderr , log_file
+#rootAppenders= , stdout, log_file
+# what range of messages to send to stdout and what to stderr  
+consoleStdOut_MIN=DEBUG
+consoleStdOut_MAX=INFO
+consoleStdErr_MIN=WARN
+consoleStdErr_MAX=FATAL
+# log to file(s)
+logDir=log/
+logFile=log.txt
+logFileThreshold=debug
+#------------------------------------------------------------------------------
+#              define loggers and attach appenders
+#------------------------------------------------------------------------------
+# root of logger hierarchy : 
+#  - first arg is default logger level
+#  - remaining args are appenders attached to logger
+#log4j.rootLogger=info, console, log_file
+log4j.rootLogger=${rootLogLevel} ${rootAppenders} 
+# only set logger level in logger class hierarchy (multiple lines possible)
+#log4j.logger.abslearning=off
+#log4j.logger.abslearning=debug
+log4j.logger.alarmsystem.AlarmSUL=info
+# disable logging entirely :
+#log4j.threshold=off
+# disable special loggers 
+log4j.logger.memTraces= off
+log4j.logger.equivTraces= off
+#------------------------------------------------------------------------------
+#              define console appenders
+#------------------------------------------------------------------------------
+consoleStdOutThreshold=${consoleStdOut_MIN}
+# define appender which outputs to stdout on console
+log4j.appender.stdout = org.apache.log4j.ConsoleAppender
+log4j.appender.stderr.Target = System.out
+# filter logmessages : only messages within range are let through in output 
+log4j.appender.stdout.Threshold=${consoleStdOutThreshold}
+log4j.appender.stdout.filter.filter1=org.apache.log4j.varia.LevelRangeFilter
+log4j.appender.stdout.filter.filter1.levelMin=${consoleStdOut_MIN}
+log4j.appender.stdout.filter.filter1.levelMax=${consoleStdOut_MAX}
+# define format used for log message
+log4j.appender.stdout.layout=org.apache.log4j.PatternLayout
+#log4j.appender.stdout.layout.ConversionPattern=%d [%p] (%C.java:%L):%M: %m%n
+#log4j.appender.stdout.layout.ConversionPattern=[%p] %M (%C.java:%L): %m%n
+#log4j.appender.stdout.layout.ConversionPattern=[%-5p] %M in %C(%F:%L): %m%n
+log4j.appender.stdout.layout.ConversionPattern=[%p] %M (%F:%L): %m%n
+#log4j.appender.stdout.layout.ConversionPattern=[%-5p] %l: %m%n
+# configure stderr
+consoleStdErrThreshold=${consoleStdErr_MIN}
+# set the conversion pattern of stdout
+log4j.appender.stderr = org.apache.log4j.ConsoleAppender
+log4j.appender.stderr.Target = System.err
+# filter logmessages : only messages within range are let through in output 
+log4j.appender.stderr.Threshold=${consoleStdErrThreshold}
+log4j.appender.stdErr.filter.filter1=org.apache.log4j.varia.LevelRangeFilter
+log4j.appender.stdErr.filter.filter1.levelMin=${consoleStdErr_MIN}
+log4j.appender.stdErr.filter.filter1.levelMax=${consoleStdErr_MAX}
+# define format used for log message
+log4j.appender.stdout.layout=org.apache.log4j.PatternLayout
+log4j.appender.stderr.layout = org.apache.log4j.PatternLayout
+#log4j.appender.stderr.layout.ConversionPattern=%d [%p] (%C.java:%L):%M: %m%n
+#log4j.appender.stderr.layout.ConversionPattern=[%p] %M (%C.java:%L): %m%n
+log4j.appender.stderr.layout.ConversionPattern=[%p] %M (%F:%L): %m%n
+#log4j.appender.stderr.layout.ConversionPattern=[%-5p] %l: %m%n
+#------------------------------------------------------------------------------
+#              file appenders (rolling)
+#------------------------------------------------------------------------------
+# define appender which outputs log messages to file
+log4j.appender.log_file=org.apache.log4j.RollingFileAppender
+log4j.appender.log_file.File= ${logDir}/${logFile} 
+log4j.appender.log_file.Append=false
+# Set MaxFilesize and Keep one backup file
+log4j.appender.log_file.MaxFileSize=150MB
+log4j.appender.log_file.MaxBackupIndex=100
+# filter log messages: only messages below specified threshold level are let through in output 
+log4j.appender.log_file.Threshold=${logFileThreshold}
+# define format used for log message
+log4j.appender.log_file.layout=org.apache.log4j.PatternLayout
+log4j.appender.log_file.layout.ConversionPattern=%-5p - %C:%L - %m%n
+#log4j.appender.log_file.layout.ConversionPattern=%p %t %c - %m%n
--- a/lib/junit-3.8.1.jar
+++ b/lib/junit-3.8.1.jar
--- a/lib/learnlib/automata-parent-0.6.1-sha1-601e6fe.jar
+++ b/lib/learnlib/automata-parent-0.6.1-sha1-601e6fe.jar
--- a/lib/learnlib/automaton-1.11-8.jar
+++ b/lib/learnlib/automaton-1.11-8.jar
--- a/lib/learnlib/bsh-2.0b4.jar
+++ b/lib/learnlib/bsh-2.0b4.jar
--- a/lib/learnlib/collections-generic-4.01.jar
+++ b/lib/learnlib/collections-generic-4.01.jar
--- a/lib/learnlib/colt-1.2.0.jar
+++ b/lib/learnlib/colt-1.2.0.jar
--- a/lib/learnlib/concurrent-1.3.4.jar
+++ b/lib/learnlib/concurrent-1.3.4.jar
--- a/lib/learnlib/eclipseclasspath.xml
+++ b/lib/learnlib/eclipseclasspath.xml
+<classpathentry kind='lib' path='lib/learnlib/automata-parent-0.6.1-sha1-601e6fe.jar' sourcepath='lib/learnlib/sources/automata-parent-0.6.1-sha1-601e6fe-sources.jar'>
+     <attributes>
+          <attribute name='javadoc_location' value='jar:platform:/resource/testproject/lib/learnlib/javadoc/automata-parent-0.6.1-sha1-601e6fe-javadoc.jar!/'/>
+     </attributes>
+</classpathentry>
+<classpathentry kind='lib' path='lib/learnlib/automaton-1.11-8.jar' sourcepath='lib/learnlib/sources/automaton-1.11-8-sources.jar'>
+     <attributes>
+          <attribute name='javadoc_location' value='jar:platform:/resource/testproject/lib/learnlib/javadoc/automaton-1.11-8-javadoc.jar!/'/>
+     </attributes>
+</classpathentry>
+<classpathentry kind='lib' path='lib/learnlib/bsh-2.0b4.jar'/>
+<classpathentry kind='lib' path='lib/learnlib/collections-generic-4.01.jar' sourcepath='lib/learnlib/sources/collections-generic-4.01-sources.jar'>
+     <attributes>
+          <attribute name='javadoc_location' value='jar:platform:/resource/testproject/lib/learnlib/javadoc/collections-generic-4.01-javadoc.jar!/'/>
+     </attributes>
+</classpathentry>
+<classpathentry kind='lib' path='lib/learnlib/colt-1.2.0.jar'/>
+<classpathentry kind='lib' path='lib/learnlib/concurrent-1.3.4.jar' sourcepath='lib/learnlib/sources/concurrent-1.3.4-sources.jar'/>
+<classpathentry kind='lib' path='lib/learnlib/graphviz-awt-shapes-0.0.1.jar' sourcepath='lib/learnlib/sources/graphviz-awt-shapes-0.0.1-sources.jar'>
+     <attributes>
+          <attribute name='javadoc_location' value='jar:platform:/resource/testproject/lib/learnlib/javadoc/graphviz-awt-shapes-0.0.1-javadoc.jar!/'/>
+     </attributes>
+</classpathentry>
+<classpathentry kind='lib' path='lib/learnlib/guava-18.0.jar' sourcepath='lib/learnlib/sources/guava-18.0-sources.jar'>
+     <attributes>
+          <attribute name='javadoc_location' value='jar:platform:/resource/testproject/lib/learnlib/javadoc/guava-18.0-javadoc.jar!/'/>
+     </attributes>
+</classpathentry>
+<classpathentry kind='lib' path='lib/learnlib/jcommander-1.27.jar' sourcepath='lib/learnlib/sources/jcommander-1.27-sources.jar'>
+     <attributes>
+          <attribute name='javadoc_location' value='jar:platform:/resource/testproject/lib/learnlib/javadoc/jcommander-1.27-javadoc.jar!/'/>
+     </attributes>
+</classpathentry>
+<classpathentry kind='lib' path='lib/learnlib/jsr305-2.0.3.jar' sourcepath='lib/learnlib/sources/jsr305-2.0.3-sources.jar'>
+     <attributes>
+          <attribute name='javadoc_location' value='jar:platform:/resource/testproject/lib/learnlib/javadoc/jsr305-2.0.3-javadoc.jar!/'/>
+     </attributes>
+</classpathentry>
+<classpathentry kind='lib' path='lib/learnlib/jung-algorithms-2.0.1.jar' sourcepath='lib/learnlib/sources/jung-algorithms-2.0.1-sources.jar'/>
+<classpathentry kind='lib' path='lib/learnlib/jung-api-2.0.1.jar' sourcepath='lib/learnlib/sources/jung-api-2.0.1-sources.jar'/>
+<classpathentry kind='lib' path='lib/learnlib/jung-graph-impl-2.0.1.jar' sourcepath='lib/learnlib/sources/jung-graph-impl-2.0.1-sources.jar'/>
+<classpathentry kind='lib' path='lib/learnlib/jung-io-2.0.1.jar' sourcepath='lib/learnlib/sources/jung-io-2.0.1-sources.jar'/>
+<classpathentry kind='lib' path='lib/learnlib/jung-visualization-2.0.1.jar' sourcepath='lib/learnlib/sources/jung-visualization-2.0.1-sources.jar'/>
+<classpathentry kind='lib' path='lib/learnlib/learnlib-parent-0.12.1-sha1-883c043.jar' sourcepath='lib/learnlib/sources/learnlib-parent-0.12.1-sha1-883c043-sources.jar'>
+     <attributes>
+          <attribute name='javadoc_location' value='jar:platform:/resource/testproject/lib/learnlib/javadoc/learnlib-parent-0.12.1-sha1-883c043-javadoc.jar!/'/>
+     </attributes>
+</classpathentry>
+<classpathentry kind='lib' path='lib/learnlib/stax-api-1.0.1.jar'/>
+<classpathentry kind='lib' path='lib/learnlib/testng-6.8.8.jar' sourcepath='lib/learnlib/sources/testng-6.8.8-sources.jar'>
+     <attributes>
+          <attribute name='javadoc_location' value='jar:platform:/resource/testproject/lib/learnlib/javadoc/testng-6.8.8-javadoc.jar!/'/>
+     </attributes>
+</classpathentry>
+<classpathentry kind='lib' path='lib/learnlib/wstx-asl-3.2.6.jar' sourcepath='lib/learnlib/sources/wstx-asl-3.2.6-sources.jar'/>
--- a/lib/learnlib/graphviz-awt-shapes-0.0.1.jar
+++ b/lib/learnlib/graphviz-awt-shapes-0.0.1.jar
--- a/lib/learnlib/guava-18.0.jar
+++ b/lib/learnlib/guava-18.0.jar
--- a/lib/learnlib/javadoc/automata-parent-0.6.1-sha1-601e6fe-javadoc.jar
+++ b/lib/learnlib/javadoc/automata-parent-0.6.1-sha1-601e6fe-javadoc.jar
--- a/lib/learnlib/javadoc/automaton-1.11-8-javadoc.jar
+++ b/lib/learnlib/javadoc/automaton-1.11-8-javadoc.jar
--- a/lib/learnlib/javadoc/collections-generic-4.01-javadoc.jar
+++ b/lib/learnlib/javadoc/collections-generic-4.01-javadoc.jar