Esto también se cumple en Java.