publishedSize property
Size of the published file as of writing.
A number to show before a download starts — how much a first run is about to cost. Nothing here measures against it: a mirror may serve a different build, and progress is reported from what the server actually announces.
Implementation
final int publishedSize;