only ignore user's Java extensions, not system ones