a java framework of ireald