So when I develop a package, it gets named, as of D4.02, format.

That is the date stamp of the moment I clicked, New Package.

Now if I build it, the JAR file is time stamped with the date I clicked

So if I develop in Dev, deploy to IDV, and then build, hand to a
colleague, they import from IDV, it seems like, they might have a
timestamp of

2013111122222 since I built it after, I started developing it. And the
version I deployed is older.

So when I build, do I need to Deploy again, to update IDV with the new

I have not looked, but does the Package name/timestamp change from the
time I clicked New Package, when I build it, to the build timestamp?

I see this as weird problems in building packages and distributing them
to other systems.