Best Way to Get Help

HealthCard: JavaCard + JML specs says the best way to get help with its software is by contacting its project administrators.