Static GC_java_finalization 

pub unsafe static mut GC_java_finalization: c_int

Mark objects reachable from finalizable objects in a separate post-pass. This makes it a bit safer to use non-topologically-ordered finalization. Default value is determined by JAVA_FINALIZATION macro. Enables GC_register_finalizer_unreachable() to work correctly. The setter and the getter are unsynchronized.