Workflow Designer: Libraries tab in project properties does not reflect the correct library information.