the eclipse's setting file