Fix Gradle source root in included builds and index Java in Android modules - #1045

Fix Gradle source root in included builds and index Java in Android modules#1045

christoph-sg merged 3 commits into

mainscip-code/scip-java:mainfrom

gradle-sourceroot-android-javacscip-code/scip-java:gradle-sourceroot-android-javacCopy head branch name to clipboard