Ok, so it seems that the Java semantics can be expensive in cases like 64-bits-wide pointers on ARM. However, pointers (object references) in Java usually only are 32 bits wide by default, due to using a compressed pointer format.