Dynamic method dispatch in Java