Son Hoang - 2020-09-04

Dear Yang,
Which version of Rodin that you tried? Is this Rodin 3.4? If it is then it does not work with Java 14. Rodin 3.4 only works with Java 8. We are working on Rodin 3.5 at the moment. The release candidate (which you can find from the "Files" tab above, under Core_Rodin_Platform will work with Java 14.
Best regards,
Son