minor Eclipse cleanup