Fixes from pull request.

Added javadocs where they were missing and more details where
it was lacking.  Tracker server binds on a random port by
itself instead of on the port passed into its constructor.
Some code style fixes.  Deprecated getCores and setCores for
a ResourceSpecification in favor of getVirtualCores and
setVirtualCores since they more accurately reflect reality.