With an incomplete Java file