511512513514515516517518519520521
updateLaunchConfigurationDialog(); } private boolean parseInputText(String text) { String[] values = text.split(";"); if(values.length == 0) { try { Double.parseDouble(text);