OpenIMAJ with a GPL licence.