Added cross operator to new Java API

@markus-h: I squashed our commits for cross into a single one.