For scratch misc stuff
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
** Current version does seem to be compatible with JDK10