software/theia: public folder is not public in Theia

This is a fixup of 665166e2 (see
especially 665166e2 (comment 177402))
1 job for for_testrunner_1
Status Job ID Name Coverage
  External
passed SlapOS.Theia.ResilienceTest-Master