java tool opts