Answer
Not necessarily — the version value in build.properties reflects the code-generation engine's own version, not the actual application source code version. If the code generator itself didn't change between the EA and GA milestones of a release, that value can legitimately stay marked '-EA' even though the actual source code and your environment are genuinely on GA; IFS doesn't ship a new code-generator version (which requires regenerating every file) unless something in the generator itself actually changed. This build.properties value is really an internal process detail that happens to become visible through this particular Developer Studio target-version check, rather than a reliable EA-vs-GA indicator for the source code itself.