Migrate Drools preferences to the new Preferences API ----------------------------------------------------- Key: DROOLS-1367 URL: https://issues.jboss.org/browse/DROOLS-1367 Project: Drools Issue Type: Bug Reporter: Paulo Rego Assignee: Toni Rikkola Now that the new Preferences API is configured in the workbench, we should migrate all necessary jBPM preferences to use it, thus allowing the user to edit them. Here we have [a doc|https://docs.google.com/document/d/1P3N1PH6arUjEKgIONLSJbhCDIqaY_xQNR...] enumerating some preferences.