Andre Dietisheim created JBIDE-22243: ---------------------------------------- Summary: Properties: "Refresh" has no effect Key: JBIDE-22243 URL: https://issues.jboss.org/browse/JBIDE-22243 Project: Tools (JBoss Tools) Issue Type: Bug Components: openshift Affects Versions: 4.4.0.Alpha1 Reporter: Andre Dietisheim -- This message was sent by Atlassian JIRA (v6.4.11#64026)