在textarea java中打开.lps文件

Question

我正在尝试在jtextarea中打开.lps文件，但textarea可能不支持此文件格式。 输出字符串不可读。

此文件是.mcrl2文件的输出，您可以在

查看更多详细信息

http://www.mcrl2.org/release/user_manual/index.html

建议在jTextarea中打开.lps文件的方法我的操作系统是Windows。 提前致谢。