import python

select any(File f).getShortName() as name order by name