Final fix for Charset.availableCharsets() crash