Michael Hauschild issues

Results 4 issues of


                                            Michael Hauschild

https://github.com/AndroidIDEOfficial/AndroidIDE/actions/runs/3684410311/jobs/6234110989#step:3:1

https://github.com/AndroidIDEOfficial/AndroidIDE/commit/e9774d880550fff1b75b8c2c604e3cdc664bba0c

https://github.com/AndroidIDEOfficial/AndroidIDE/pull/665