* AriaProcessor.scala: added new class OStream