listener.error(Messages.Fingerprinter_NoWorkspace()); build.setResult(Result.FAILURE); return;
listener.error(Messages.Fingerprinter_NoWorkspace()); build.setResult(Result.FAILURE); return;
listener.error(Messages.Fingerprinter_NoWorkspace()); build.setResult(Result.FAILURE); return;
listener.error(Messages.Fingerprinter_NoWorkspace()); build.setResult(Result.FAILURE); return;