miti/verifier @ recreating_state_for_teeter

dettanym 8418edd53f Rearranged src code files and edited makefile.		%!s(int64=4) %!d(string=hai) anos
..
find_pixy_class_file_locations.sh	8418edd53f Rearranged src code files and edited makefile.	%!s(int64=4) %!d(string=hai) anos
helloworld_jni_interface.cpp	8418edd53f Rearranged src code files and edited makefile.	%!s(int64=4) %!d(string=hai) anos
jni_compiling_linking.sh	8418edd53f Rearranged src code files and edited makefile.	%!s(int64=4) %!d(string=hai) anos
pal-sgx-sign	8418edd53f Rearranged src code files and edited makefile.	%!s(int64=4) %!d(string=hai) anos