hopefully fixed eclipse problem