set java doc charset