java collections more methods 2nd try

[FrancezcoPezce]

• aggiunta spiegazione di alcune keyword
• aggiunto super
• Update java.md
• Update java.md
• aggiunta ereditarietà e method resolution
• testing-decisioni-condizioni-nota editato file di testing, con aggiunta di una nota sul criterio di copertura di decisioni e condizioni sulla short circuit evaluation.
• aggiunto casting ed errori dei casting
• Aggiunti TODO per i trucchi su ensures
• Fine prima stesura trucchi JML - Modificate porzioni di specifica ricorrenti - Aggiunto ricavare RI - Aggiunto ricavare AF
• Aggiunto esempio da TdE nel capitolo JML
• aggiunte implementazioni principali delle interfacce di Collections principali aggiunte informazioni sugli array aggiunti metodi toString di Collections principali e array