Eclipse plugin and build.properties