[Change] rewritten Java part of c3-search