making use of jvm.option constants