partial order set library by Java