Package.toString() not working in JPF

[Harsh4902]

• I have created a test case in URLClassLoaderTest which is failing because Pcakage.toString() method is not working and throwing NullPointerException

[cyrille-artho]

Thanks. For the main branch, we wait with merging code until the test passes.

[Harsh4902]

@cyrille-artho @pparizek I have changed the approach of loading package. We can access package by using object of Class class for current class. With this approach, we can further call Package.toString() method, which will not fail on JPF.

[cyrille-artho]

Great! Can you please try to make the patch (in terms of changes) a bit smaller? For example, it's usually better to explicitly import the classes you need rather than using the wildcard, so the change from import java.util.A; import java.util.B; ... to import java.util.*; is not ideal. It also makes the patch bigger, which will make it harder to merge it into other branches.
Please check if you can do that (and push the changes again to this branch, which will auto-update the PR).

[cyrille-artho]

Thanks!