Use newer trove in maven central.