Lines 864-870
Link Here
|
864 |
Object targetLibrary = JavaModel.getTarget(entryPath, true); |
864 |
Object targetLibrary = JavaModel.getTarget(entryPath, true); |
865 |
|
865 |
|
866 |
if (targetLibrary == null){ // missing JAR |
866 |
if (targetLibrary == null){ // missing JAR |
867 |
if (this.state.getExternalLibTimeStamps().remove(entryPath) != null /* file was known*/ |
867 |
Long oldTimestamp = (Long) this.state.getExternalLibTimeStamps().put(entryPath, DeltaProcessingState.MISSING_JAR); |
|
|
868 |
if (oldTimestamp != null && oldTimestamp != DeltaProcessingState.MISSING_JAR/* file was known*/ |
868 |
&& this.state.roots.get(entryPath) != null /* and it was on the classpath*/) { |
869 |
&& this.state.roots.get(entryPath) != null /* and it was on the classpath*/) { |
869 |
externalArchivesStatus.put(entryPath, EXTERNAL_JAR_REMOVED); |
870 |
externalArchivesStatus.put(entryPath, EXTERNAL_JAR_REMOVED); |
870 |
// the jar was physically removed: remove the index |
871 |
// the jar was physically removed: remove the index |
Lines 878-888
Link Here
|
878 |
// check timestamp to figure if JAR has changed in some way |
879 |
// check timestamp to figure if JAR has changed in some way |
879 |
Long oldTimestamp =(Long) this.state.getExternalLibTimeStamps().get(entryPath); |
880 |
Long oldTimestamp =(Long) this.state.getExternalLibTimeStamps().get(entryPath); |
880 |
long newTimeStamp = getTimeStamp(externalFile); |
881 |
long newTimeStamp = getTimeStamp(externalFile); |
881 |
if (oldTimestamp != null){ |
882 |
if (oldTimestamp != null && oldTimestamp != DeltaProcessingState.MISSING_JAR) { |
882 |
|
883 |
|
883 |
if (newTimeStamp == 0){ // file doesn't exist |
884 |
if (newTimeStamp == 0){ // file doesn't exist |
884 |
externalArchivesStatus.put(entryPath, EXTERNAL_JAR_REMOVED); |
885 |
externalArchivesStatus.put(entryPath, EXTERNAL_JAR_REMOVED); |
885 |
this.state.getExternalLibTimeStamps().remove(entryPath); |
886 |
this.state.getExternalLibTimeStamps().put(entryPath, DeltaProcessingState.MISSING_JAR); |
886 |
// remove the index |
887 |
// remove the index |
887 |
this.manager.indexManager.removeIndex(entryPath); |
888 |
this.manager.indexManager.removeIndex(entryPath); |
888 |
|
889 |
|