Is ArrayList guaranteed to use similar mechanism? (I assume it is but just wanted to verify)