Remove duplicated code.
Remove duplicated code.

The duplicate was introduced by the 8.3 merge, because we had already
cherry-picked this in commit d481bd720b. Harmless, but let's be tidy.

janebeckman/gpdb,edespino/gpdb,janebeckman/gpdb,adam8157/gpdb,xinzweb/gpdb,cjcjameson/gpdb,adam8157/gpdb,greenplum-db/gpdb,kaknikhil/gpdb,kaknikhil/gpdb,janebeckman/gpdb,yuanzhao/gpdb,edespino/gpdb,Chibin/gpdb,edespino/gpdb,cjcjameson/gpdb,jmcatamney/gpdb,kaknikhil/gpdb,janebeckman/gpdb,cjcjameson/gpdb,greenplum-db/gpdb,yuanzhao/gpdb,xinzweb/gpdb,lisakowen/gpdb,xinzweb/gpdb,50wu/gpdb,50wu/gpdb,greenplum-db/gpdb,adam8157/gpdb,Chibin/gpdb,50wu/gpdb,kaknikhil/gpdb,lisakowen/gpdb,yuanzhao/gpdb,adam8157/gpdb,xinzweb/gpdb,cjcjameson/gpdb,50wu/gpdb,Chibin/gpdb,kaknikhil/gpdb,cjcjameson/gpdb,cjcjameson/gpdb,kaknikhil/gpdb,Chibin/gpdb,kaknikhil/gpdb,greenplum-db/gpdb,ashwinstar/gpdb,greenplum-db/gpdb,Chibin/gpdb,yuanzhao/gpdb,jmcatamney/gpdb,adam8157/gpdb,greenplum-db/gpdb,Chibin/gpdb,greenplum-db/gpdb,lisakowen/gpdb,ashwinstar/gpdb,cjcjameson/gpdb,lisakowen/gpdb,yuanzhao/gpdb,edespino/gpdb,edespino/gpdb,xinzweb/gpdb,yuanzhao/gpdb,ashwinstar/gpdb,Chibin/gpdb,janebeckman/gpdb,ashwinstar/gpdb,yuanzhao/gpdb,yuanzhao/gpdb,adam8157/gpdb,jmcatamney/gpdb,janebeckman/gpdb,edespino/gpdb,ashwinstar/gpdb,lisakowen/gpdb,janebeckman/gpdb,cjcjameson/gpdb,jmcatamney/gpdb,lisakowen/gpdb,yuanzhao/gpdb,50wu/gpdb,janebeckman/gpdb,adam8157/gpdb,kaknikhil/gpdb,adam8157/gpdb,ashwinstar/gpdb,kaknikhil/gpdb,jmcatamney/gpdb,edespino/gpdb,yuanzhao/gpdb,ashwinstar/gpdb,xinzweb/gpdb,jmcatamney/gpdb,greenplum-db/gpdb,Chibin/gpdb,janebeckman/gpdb,xinzweb/gpdb,edespino/gpdb,janebeckman/gpdb,edespino/gpdb,jmcatamney/gpdb,Chibin/gpdb,50wu/gpdb,cjcjameson/gpdb,jmcatamney/gpdb,lisakowen/gpdb,ashwinstar/gpdb,kaknikhil/gpdb,Chibin/gpdb,xinzweb/gpdb,cjcjameson/gpdb,edespino/gpdb,50wu/gpdb,lisakowen/gpdb,50wu/gpdb