How does Eclipse manage plugin preferences?
http://help.eclipse.org/help31/index.jsp?topic=/org.eclipse.platform.doc.isv/guide/runtime_preferences.htm
