Flush out int32/int64 java encoding