0005124: getRevision casts revision number to int (cherry picked from commit 37351a4)