Add storage of final modifier status of java classes in `java_class_typet`.#2011

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

thomasspriggs:final_classesthomasspriggs/cbmc:final_classesCopy head branch name to clipboard