Bug 55372 - Should not assume that Preferences.defaultPropertyNames() returns default-default properties
Summary: Should not assume that Preferences.defaultPropertyNames() returns default-def...
Status: VERIFIED FIXED
Alias: None
Product: JDT
Classification: Eclipse Project
Component: Core (show other bugs)
Version: 3.0   Edit
Hardware: PC Windows 2000
: P3 normal (vote)
Target Milestone: 3.0 M8   Edit
Assignee: Jerome Lanneluc CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2004-03-19 10:16 EST by Jerome Lanneluc CLA
Modified: 2004-03-24 11:24 EST (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Jerome Lanneluc CLA 2004-03-19 10:16:47 EST 
I20040318

JavaCore.getOptions() and JavaCore.getDefaultOptions() assume that 
Preferences.defaultPropertyNames() return property names whose value is the 
default-default (see bug 55206). There was a bug in this method that is now 
fixed and the list is now missing some properties.
Comment 1 Jerome Lanneluc CLA 2004-03-19 10:41:03 EST 
Fixed by using JavaModelManager.OptionNames instead. Java model tests are now 
passing with N20040318.
Comment 2 Frederic Fusier CLA 2004-03-24 11:24:47 EST 
Verified for 3.0 using build I200403240800.