public void pulisci() { if (mngTxb != null) { mngTxb.pulisci(); } if (mngMat != null) { mngMat.pulisci(); } }