Suppress warnings on diff_match_patch and relax null analysis13/35713/2
commit9303a4e01d827b55a2c2a9282b118eb0b3fcb531
authorLaurent Goubet <laurent.goubet@obeo.fr>
Fri, 31 Oct 2014 08:49:16 +0000 (31 09:49 +0100)
committerMikael Barbero <mikael.barbero@obeo.fr>
Tue, 4 Nov 2014 14:12:23 +0000 (4 09:12 -0500)
tree2dca11905f6394d393fef26fb36fd11014528483
parent23bd60af6d23604bedfc0b68fc2b33b151887c7a
Suppress warnings on diff_match_patch and relax null analysis

Change-Id: I84fc7ff9ebc6f823f295f6ca5aee60f8ed8e0f0c
plugins/org.eclipse.emf.compare/.settings/org.eclipse.jdt.core.prefs
plugins/org.eclipse.emf.compare/src/org/eclipse/emf/compare/internal/dmp/diff_match_patch.java