module probarHolaFichero {
	requires HolaFichero;
}