warning: Reflection is internal proprietary API and may be removed

[gayanW]

Deprecation warning

'Reflection is internal proprietary API and may be removed in a future release' 

when build with JDK 9 and later:

[javac] /home/travis/build/javapathfinder/jpf-core/src/tests/gov/nasa/jpf/test/vm/reflection/ReflectionTest.java:34: warning: Reflection is internal proprietary API and may be removed in a future release
[javac]       Class<?> callerCls = sun.reflect.Reflection.getCallerClass(0); // that would be getCallerClass()
[javac]                                       ^

Travis log:
https://travis-ci.org/javapathfinder/jpf-core/builds/389306467#L2485-L2508

References:
https://www.logicbig.com/tutorials/core-java-tutorial/java-9-changes/stack-walker-caller.html

[gayanW]

If we are to use the StackWalker instead of calling sun.reflect.Reflection.getCallerClass, I think it will make sense to refactor the name of the test class from 'gov.nasa.jpf.test.vm.reflection.ReflectionTest' to 'gov.nasa.jpf.test.java.lang.StackWalkerTest'

For your reference:

jpf-core/src/tests/gov/nasa/jpf/test/vm/reflection/ReflectionTest.java

Lines 24 to 36 in 18a0c42

	public class ReflectionTest extends TestJPF {
	static class MyClass {
	void bar(){
	foo();
	}
	// compilation will cause a warning about internal proprietary API that cannot be suppressed, but we have to test this
	// since it is still used by standard libs
	void foo (){
	Class<?> callerCls = sun.reflect.Reflection.getCallerClass(0); // that would be getCallerClass()
	System.out.println("-- getCallerClass(0) = " + callerCls);
	assertTrue(callerCls.getName().equals("sun.reflect.Reflection"));

[cyrille-artho]

Yes, please update the class name for consistency.