Searched refs:markerJob (Results 1 – 2 of 2) sorted by relevance
56 Job markerJob = new Job("Android SDK: Resolving error markers") { in processError() local76 markerJob.setPriority(Job.BUILD); in processError()77 markerJob.setRule(ResourcesPlugin.getWorkspace().getRoot()); in processError()78 markerJob.schedule(); in processError()81 Job markerJob = new Job("Android SDK: Resolving error markers") { in processError() local98 markerJob.setPriority(Job.BUILD); in processError()99 markerJob.setRule(ResourcesPlugin.getWorkspace().getRoot()); in processError()100 markerJob.schedule(); in processError()
623 Job markerJob = new Job("Android SDK: Build Tools Marker") { in handleBuildToolsMarker() local652 markerJob.setPriority(Job.BUILD); in handleBuildToolsMarker()653 markerJob.setRule(ResourcesPlugin.getWorkspace().getRoot()); in handleBuildToolsMarker()654 markerJob.schedule(); in handleBuildToolsMarker()