[jbosstools-issues] [JBoss JIRA] (JBTIS-480) JBDSIS 8.0.3.GA/ JBTIS 4.2.3.Final - update jbosstools/devstudio infrastructure

JBDSIS 8.0.3.GA/ JBTIS 4.2.3.Final - update jbosstools/devstudio infrastructure ------------------------------------------------------------------------------- Key: JBTIS-480 URL: https://issues.jboss.org/browse/JBTIS-480 Project: JBoss Tools Integration Stack Issue Type: Task Components: distribution Affects Versions: 8.0.3.GA, 4.2.3.Final Reporter: Paul Leacu Assignee: Paul Leacu Fix For: 8.0.3.GA, 4.2.3.Final Update jbosstools-download.jboss.org and jbdevstudio-website with 4.2.3.Final/ 8.0.3.GA distribution infrastructure.