CLI option set: compilation error on jdk1.6.0_07 fixed