advanced Java version to 1.7 for next commit
option for export of a mapping from methods in the result program to origin features