formal immune network on java