//DoubleValueType.setMinimum(-1000.0);
//DoubleValueType.setMaximum(1000.0);
//Configuration.setNumberOfRandomElementsPerDomain(3);
// dialog
CreateTestCasesDialogSWT oDialog = new CreateTestCasesDialogSWT();
if (oDialog.getOkPressed()) {
// create process bar
// ... cancel + Erfolgsnachricht am Ende
// generate test case graph