Louis QUESTEL authored Nov 28, 2019 and Gerson SUNYE committed Nov 28, 2019

Fix #901, #898, #810 : ShortInstantiation 1pts & LongInstantiation 1pts & DoNotExtendJavaLangThrowable 2pts