Option tools implemented by Java.