private void dumpIfNecessary(SpecCompilerParameters args,boolean succeeded,Dumper dumper)
	{
		PrintStream dumpStream = null;
		
		if(dumper != null)
		{
			try
			{
				dumpStream = DumperFactory.getDumpStream(args);
			}
			catch(FileNotFoundException ex)
			{
				ex.printStackTrace();
			}
			
			if(dumpStream != null)
			{
				try
				{
					dumper.dump(args.getDumpFormat(),dumpStream);
				}
				catch (UnsupportedOperationException e)
				{
					e.printStackTrace();
				}
				catch (IOException e)
				{
					e.printStackTrace();
				}
			}
		}
	}