Merge pull request #9728 from JosJuice/android-get-shader-list Android: Use JNI for getting post-processsing shaders
