/** * Insert the method's description here. Creation date: (24/10/2002 06:05:49 p.m.) * * @return java.util.Vector */ public int getUsuariosSize() { return vctResult.size(); }
/** * Insert the method's description here. Creation date: (24/10/2002 06:05:49 p.m.) * * @return java.util.Vector */ public int getGruposSize() { return vctGrupos.size(); }