Eclipse export, should be automatic from now on