simple Java calculator using PRISM-MW