[jbosstools-issues] [JBoss JIRA] (JBIDE-27385) Migrate devstudio.product_master to PSI Jenkins