// build
final WorkspaceJob buildJob = new BuildOperation("Building projects", projects);
buildJob.setUser(true);
buildJob.setRule(ResourcesPlugin.getWorkspace().getRuleFactory().buildRule());
buildJob.schedule();
// run dialyzer
final Job job = new DialyzeOperation("Running Dialyzer", modules, projects);
final ISchedulingRule rule = createRuleForModules(modules);
job.setRule(rule);