add a java option