Bug Fixed: (1) map<K,V>.values.toArray(V[]) makes the class cast type
safe (2) define specific NULL_VERSION, NULL_VERSIONVALUE to avoid
related NullPointerException