chore(deps): bump com.amazonaws:aws-java-sdk-dynamodb from 1.12.531 to 1.12.586 in /DynamoDbEncryption/runtimes/java #766

	# This workflow performs test vectors in Java.
	name: Library Java Test Vectors

	on:
	pull_request:
	push:
	branches:
	- main

	jobs:
	testJava:
	strategy:
	matrix:
	java-version: [ 8, 11, 16, 17 ]
	os: [
	# Run on ubuntu image that comes pre-configured with docker
	ubuntu-latest
	]
	runs-on: ${{ matrix.os }}
	permissions:
	id-token: write
	contents: read
	steps:
	- name: Setup DynamoDB Local
	uses: rrainn/[email protected]
	with:
	port: 8000
	cors: '*'

	- name: Configure AWS Credentials
	uses: aws-actions/configure-aws-credentials@v2
	with:
	aws-region: us-west-2
	role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
	role-session-name: DDBEC-Dafny-Java-Tests

	- uses: actions/checkout@v3
	with:
	submodules: recursive

	- name: Setup Dafny
	uses: dafny-lang/[email protected]
	with:
	dafny-version: '4.2.0'

	- name: Setup Java ${{ matrix.java-version }}
	uses: actions/setup-java@v3
	with:
	distribution: 'corretto'
	java-version: ${{ matrix.java-version }}

	- name: Build TestVectors implementation
	shell: bash
	working-directory: ./TestVectors
	run: \|
	# This works because `node` is installed by default on GHA runners
	CORES=$(node -e 'console.log(os.cpus().length)')
	make build_java CORES=$CORES

	- name: Test TestVectors
	working-directory: ./TestVectors
	run: \|
	make test_java

Provide feedback