diff options
| author | Philipe Mulet | 2001-08-09 11:41:06 +0000 |
|---|---|---|
| committer | Philipe Mulet | 2001-08-09 11:41:06 +0000 |
| commit | 320d623132952863a5567d0d1110a7f305be6b0e (patch) | |
| tree | 4da87ff9502a74e189e7af60e37e91e2d6fac95c /org.eclipse.jdt.core | |
| parent | 18a551ac689f1219a6d3f44455c48ebf82acddba (diff) | |
| download | eclipse.jdt.core-320d623132952863a5567d0d1110a7f305be6b0e.tar.gz eclipse.jdt.core-320d623132952863a5567d0d1110a7f305be6b0e.tar.xz eclipse.jdt.core-320d623132952863a5567d0d1110a7f305be6b0e.zip | |
*** empty log message ***
Diffstat (limited to 'org.eclipse.jdt.core')
| -rw-r--r-- | org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/JavaModelManager.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/JavaModelManager.java b/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/JavaModelManager.java index 52c7795de2..924726ebd9 100644 --- a/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/JavaModelManager.java +++ b/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/JavaModelManager.java @@ -1148,7 +1148,8 @@ public void saving(ISaveContext context) throws CoreException { */
public static String[] getOptionIDs(){
if(fOptionIDs == null)
- return new String[0];
+ JavaCore.resetOptions();
+
return (String [])fOptionIDs.toArray(new String[0]);
}
|