Update imports to use new published package names #3

	# This workflow will build a Java project with Gradle and cache/restore any dependencies to improve the workflow execution time
	# For more information see: https://docs.github.com/en/actions/automating-builds-and-tests/building-and-testing-java-with-gradle

	name: Java CI - Main

	on:
	push:
	branches: [ "main" ]
	pull_request:
	branches: [ "main" ]

	permissions:
	checks: write

	jobs:
	build:

	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	with:
	path: workspace/anyweaver
	ref: main

	- name: Set up JDK 17
	uses: actions/setup-java@v4
	with:
	java-version: '17'
	distribution: 'temurin'

	- name: Check out specs-java-libs repo
	uses: actions/checkout@v4
	with:
	repository: specs-feup/specs-java-libs
	path: workspace/specs-java-libs

	- name: Check out lara-framework repo
	uses: actions/checkout@v4
	with:
	repository: specs-feup/lara-framework
	ref: master
	path: workspace/lara-framework

	# Configure Gradle for optimal use in GitHub Actions, including caching of downloaded dependencies.
	# See: https://github.com/gradle/actions/blob/main/setup-gradle/README.md
	- name: Setup Gradle
	uses: gradle/actions/setup-gradle@417ae3ccd767c252f5661f1ace9f835f9654f2b5 # v3.1.0

	# Setting up gradle multi-project would be helpful
	- name: Build and Test AnyWeaver
	working-directory: workspace/anyweaver/AnyWeaver
	run: gradle build test

	- name: Publish Test Report
	uses: mikepenz/action-junit-report@v4
	if: always()
	with:
	report_paths: 'workspace/anyweaver/*/build/test-results/test/TEST-.xml'
	summary: true

Provide feedback