/**
* 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();
}
