Merge with PAL svn
changing (int) to stdVector_t::size_type