CreatePatchWizard createPatchWizard = openCreatePatchWizard();
LocationPage locationPage = createPatchWizard.getLocationPage();
locationPage.selectWorkspace("/" + PROJ1 + "/" + PATCH_FILE);
OptionsPage optionsPage = locationPage.nextToOptionsPage();
optionsPage.setFormat(CoreText.DiffHeaderFormat_Workspace);
createPatchWizard.finish();
bot.waitUntil(Conditions.shellCloses(createPatchWizard.getShell()));
IFile patch = ResourcesPlugin.getWorkspace().getRoot()
.getProject(PROJ1).getFile(PATCH_FILE);