example use of java-opts