383384385386387388389390391392393
option = option.substring(option.indexOf('=') + 1); String diagsOption = option.contains("%") ? "-XDdiagsFormat=" : "-XDdiags="; diagsOption += option; if (xd.matches(diagsOption)) return xd.process(options, diagsOption); else return false; } },
526527528529530531532533534535536