Java Program to display results of alloy commands