/** Get string identifier for i-th source */ public String getSource(int i) { return (String) sourceNames.get(i); }