specify usage of java.config_file_edit_size option