+ String mpromFileName = mpromFileSelText.getText().trim();
+ if (mpromFileName.length() > 0)
+ {
+ IResource mpromResource = project.findMember(mpromFileName);
+ if (mpromResource == null || !mpromResource.exists())
+ return setErrorAndReturnFalse("MPROM file {0} does not exist", mpromFileName);
+ if (mpromResource.getType() != IResource.FILE)
+ return setErrorAndReturnFalse("MPROM file {0} is not a file", mpromFileName);
+ }
+