modify java option