Replace deprecated Preferences by IPreferenceStore -------------------------------------------------- Key: JBIDE-6520 URL: https://jira.jboss.org/browse/JBIDE-6520 Project: Tools (JBoss Tools) Issue Type: Task Affects Versions: 3.1.1 Reporter: Koen Aers Fix For: 3.1.2, 3.2.0.M1 -- This message is automatically generated by JIRA. - If you think it was sent incorrectly contact one of the administrators: https://jira.jboss.org/secure/Administrators.jspa - For more information on JIRA, see: http://www.atlassian.com/software/jira