Added JUNIT test for PreCheckOption.java