|
Lines 1489-1494
Link Here
|
| 1489 |
paths.add(path); |
1489 |
paths.add(path); |
| 1490 |
} |
1490 |
} |
| 1491 |
} |
1491 |
} |
|
|
1492 |
/* TODO (frederic) put back when JDT/UI dummy project will be thrown away... |
| 1493 |
* See https://bugs.eclipse.org/bugs/show_bug.cgi?id=97524 |
| 1494 |
* |
| 1492 |
if (javaProject.equals(javaProjectToInit)) { |
1495 |
if (javaProject.equals(javaProjectToInit)) { |
| 1493 |
if (paths == null) { |
1496 |
if (paths == null) { |
| 1494 |
paths = new HashSet(); |
1497 |
paths = new HashSet(); |
|
Lines 1496-1502
Link Here
|
| 1496 |
} |
1499 |
} |
| 1497 |
paths.add(containerToInit); |
1500 |
paths.add(containerToInit); |
| 1498 |
} |
1501 |
} |
|
|
1502 |
*/ |
| 1499 |
} |
1503 |
} |
|
|
1504 |
// TODO (frederic) remove following block when JDT/UI dummy project will be thrown away... |
| 1505 |
HashSet containerPaths = (HashSet) allContainerPaths.get(javaProjectToInit); |
| 1506 |
if (containerPaths == null) { |
| 1507 |
containerPaths = new HashSet(); |
| 1508 |
allContainerPaths.put(javaProjectToInit, containerPaths); |
| 1509 |
} |
| 1510 |
containerPaths.add(containerToInit); |
| 1511 |
// end block |
| 1500 |
|
1512 |
|
| 1501 |
// mark all containers as being initialized |
1513 |
// mark all containers as being initialized |
| 1502 |
this.containerInitializationInProgress.set(allContainerPaths); |
1514 |
this.containerInitializationInProgress.set(allContainerPaths); |
