plugins { id 'java' id 'ch.fhnw.thga.frege' version '4e72b93' } frege { version = '3.25.84' release = '3.25alpha' }