java doc; pinyin util