RFR: 7903750: TimeBudget (-tb) does not fulfill its promisses [v4]

[Jiří Vaněk]

> Added warning, when time budget is to small, and final run will run at least two times longer.

Jiří Vaněk has updated the pull request incrementally with one additional commit since the last revision:

  Removed unnecessary shortening of MS before next conversion
  
  -        ms -= TimeUnit.HOURS.toMillis(hours);
  -        ms -= TimeUnit.MINUTES.toMillis(minutes);

-------------

Changes:
  - all: https://git.openjdk.org/jcstress/pull/161/files
  - new: https://git.openjdk.org/jcstress/pull/161/files/d4ec90db..3d002c0d

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jcstress&pr=161&range=03
 - incr: https://webrevs.openjdk.org/?repo=jcstress&pr=161&range=02-03

  Stats: 3 lines in 2 files changed: 0 ins; 2 del; 1 mod
  Patch: https://git.openjdk.org/jcstress/pull/161.diff
  Fetch: git fetch https://git.openjdk.org/jcstress.git pull/161/head:pull/161

PR: https://git.openjdk.org/jcstress/pull/161