SDK of the Scala IDE
gapt-0b5c3a9d7831fe8eec25a26541668d062fb63ee0