https://download.eclipse.org/eclipse/tips/org.eclipse.jdt.tips.user/

---

File	Size	Permissions	Date
..		drwxrwsr-x	2019-12-06 03:57:54
content		drwxrwsr-x	2018-06-08 11:21:41
provider.json	9.55kB	-rw-rw-r--	2018-06-08 10:39:16