Convert for Eclipse support