More Java compatibility