Steps to Reproduce

Use the following code

Filedownload.save(WebApps.getCurrent().getResourceAsStream("xxx.pdf"), "application/pdf", "xxx1");

Current Result

no extension name

Expected Result

shall see a downloaded file "xxx1.pdf"

Debug Information

Shall consider file name without extension (Https.java)