A Java library for String arrays