adapted operator to current siocs version (and Java 7)