for (int i = 0; i < pages.size(); i++) {
pageNames.add(pages.get(i).getTitle());
}
}
Collections.sort(pageNames);
new PageListWorker(
getWikipedia(), this, null, pageNames,
PageListWorker.Mode.DIRECT, false,
GT._("Random pages")).start();
} catch (APIException e) {
displayError(e);