Potentially useful Java library