Migliorato Javadoc - Aggiunte ulteriori precondizioni