A Java library providing proper Unicode support