java application server library for morphisfoundations