Soot version 4.2.1 changing class version numbers

[bdemsky]

Please examine each of the following points so that we can help you as soon and best as possible.

Describe the bug
Soot version 4.2.1 and earlier is changing the class version numbers. The class file in question is an interface with default methods. This then causes the verifier to fail when loading the class file and triggering the same behavior as Bug #956.

Input file

We are seeing this on org.jd.core.v1.model.javasyntax.type.Type, org.jd.core.v1.model.javasyntax.type.BaseTypeArgument, and org.jd.core.v1.util.Base from https://github.com/java-decompiler/jd-core version 1.1.3.

To reproduce
Steps to reproduce the behavior:
Please include soot options you used or supply a code snippet to ease reproduction of the problem.

Expected behavior
A clear and concise description of what you expected to happen.

Stacktrace
If applicable, add complete stacktraces. In case your stack trace contains a line starting with "Caused by:", that line as well as the following lines are still part of the original stacktrace, so please include them as well.

Additional context
Add any other context about the problem here, which might help us to understand or solve your problem better.

[tim-hoffman]

This should be addressed by PR #1694