if( optStateFile.value != null )
{
try {
Writer writer = new FileWriter(optStateFile.value);
vennArrsOptim.addObserver( new StateObserver(writer) );
}
catch (IOException e)
{
e.printStackTrace();
System.err.println("I/O error while opening file "+optStateFile.value);