"src/plugins/android/javaeditor.h" did not exist on "839766396489249c541c60c92f717f77814dcf8b"