[jbosstools-dev] Re: JBoss Tools .pot files checked in; careful when renaming .properties!