[teiid-designer-dev] [Teiid-Designer/teiid-designer] 4ee8df: update target platform to JBT 4.2.4.Final