https://pharos-tc.com/en/course/618/getting-started-with-java-using-alice