Re: [jbosstools-dev] Last week to change target-platforms for JBoss Tools 4.3.1 and JBDS 9.1 !