Added Assumptions and Detailed Java Terminal Info