View | Details | Raw Unified | Return to bug 213723 | Differences between
and this patch

Collapse All | Expand All

(-)model/org/eclipse/jdt/internal/core/builder/JavaBuilder.java (+6 lines)
Lines 597-602 Link Here
597
	boolean abortBuilds =
597
	boolean abortBuilds =
598
		JavaCore.ABORT.equals(javaProject.getOption(JavaCore.CORE_JAVA_BUILD_INVALID_CLASSPATH, true));
598
		JavaCore.ABORT.equals(javaProject.getOption(JavaCore.CORE_JAVA_BUILD_INVALID_CLASSPATH, true));
599
	if (!abortBuilds) return true;
599
	if (!abortBuilds) return true;
600
	
601
	if (isClasspathBroken(javaProject.getRawClasspath(), currentProject)) {
602
		if(currentProject instanceof JavaProject){
603
			((JavaProject)currentProject).forceClasspathReload(new NullProgressMonitor());
604
		}
605
	}
600
606
601
	// Abort build only if there are classpath errors
607
	// Abort build only if there are classpath errors
602
	if (isClasspathBroken(javaProject.getRawClasspath(), currentProject)) {
608
	if (isClasspathBroken(javaProject.getRawClasspath(), currentProject)) {
(-)model/org/eclipse/jdt/internal/core/JavaProject.java (-1 / +1 lines)
Lines 1324-1330 Link Here
1324
	 * <li> The classpath is being modified during resource change event notification (CORE_EXCEPTION)
1324
	 * <li> The classpath is being modified during resource change event notification (CORE_EXCEPTION)
1325
	 * </ul>
1325
	 * </ul>
1326
	 */
1326
	 */
1327
	protected void forceClasspathReload(IProgressMonitor monitor) throws JavaModelException {
1327
	public void forceClasspathReload(IProgressMonitor monitor) throws JavaModelException {
1328
1328
1329
		if (monitor != null && monitor.isCanceled()) return;
1329
		if (monitor != null && monitor.isCanceled()) return;
1330
		
1330
		

Return to bug 213723