refactor: divide proof operations to subroutines #606

	name: ci-java

	on:
	pull_request:
	branches:
	- master
	push:
	branches:
	- master

	jobs:
	build_test:
	name: Build & Test Java Wrapper
	runs-on: ubuntu-latest
	defaults:
	run:
	working-directory: ./wrappers/java
	steps:
	- name: Checkout
	uses: actions/checkout@83b7061638ee4956cf7545a6f7efe594e5ad0247 # pin@v3.5.1

	# Needed to resolve any private git based dependencies like https://github.com/mattrglobal/blstrs
	- name: Setup SSH Agent
	uses: webfactory/ssh-agent@836c84ec59a0e7bc0eabc79988384eb567561ee2 # pin@v0.7.0
	with:
	ssh-private-key: ${{ secrets.SSH_PRIVATE_KEY }}

	- name: Setup rust toolchain
	uses: actions-rs/toolchain@b2417cde72dcf67f306c0ae8e0828a81bf0b189f # pin@v1.0.6
	with:
	profile: minimal
	toolchain: stable
	override: true

	- name: Set up JDK 11
	uses: actions/setup-java@v2
	with:
	java-version: "11"
	distribution: "adopt"

	- name: Cache Gradle packages
	uses: actions/cache@v2
	with:
	path: \|
	~/.gradle/caches
	~/.gradle/wrapper
	key: ${{ runner.os }}-gradle-${{ hashFiles('*/.gradle', '*/gradle-wrapper.properties') }}
	restore-keys: \|
	${{ runner.os }}-gradle-

	- name: Build with Gradle
	run: ./gradlew build

	- name: Cleanup Gradle Cache
	# Remove some files from the Gradle cache, so they aren't cached by GitHub Actions.
	# Restoring these files from a GitHub Actions cache might cause problems for future builds.
	run: \|
	rm -f ~/.gradle/caches/modules-2/modules-2.lock
	rm -f ~/.gradle/caches/modules-2/gc.properties

Provide feedback