Fix minor lint issues after Linter update #248

	---
	# Copyright 2023 JanusGraph Authors
	#
	# Licensed under the Apache License, Version 2.0 (the "License");
	# you may not use this file except in compliance with the License.
	# You may obtain a copy of the License at
	#
	# http://www.apache.org/licenses/LICENSE-2.0
	#
	# Unless required by applicable law or agreed to in writing, software
	# distributed under the License is distributed on an "AS IS" BASIS,
	# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
	# See the License for the specific language governing permissions and
	# limitations under the License.

	name: Linter

	on:
	pull_request: {}
	push: {}

	permissions: {}

	jobs:
	check:
	runs-on: ubuntu-latest
	permissions:
	contents: read
	packages: read
	# To report GitHub Actions status checks
	statuses: write
	steps:
	- name: Checkout Code
	uses: actions/checkout@v4
	with:
	# Full git history is needed to get a proper
	# list of changed files within `super-linter`
	fetch-depth: 0
	- name: Lint Code Base
	uses: github/super-linter@v7
	env:
	VALIDATE_ALL_CODEBASE: false
	VALIDATE_JSCPD: false # need to find a way to ignore license headers for duplicate detection
	DEFAULT_BRANCH: master
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Provide feedback