Workaround for Eclipse TypeScript problem