HDT Java library and tools.