561776: Improve handling of FINALIZABLE and UNFINALIZED

Changes to the DTFJ parser and queries to take advantage.

Task-Url: https://bugs.eclipse.org/bugs/show_bug.cgi?id=561776

Change-Id: I7fc7e2a4e4e721c02fa79ddbd1f0d7b6e468cde7
13 files changed