ContractJDoc - A new approach for documenting Java code