[2013-03-30%252019_52_18-Java%2520-%2520jpf_junit_demo_test_CalculatorTest.java%2520-%2520Eclipse%2520SDK%255B2%255D.png]