thread-safety of codecs.java:registry_init()