怎么了：
我执行以下命令。
java -jar sat4j-sat.jar -remote
没有窗口打开，我得到一个控制台输出，与没有 -remote 标志的情况相同，它开始：
c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois (...)
c This is free software under the dual EPL/GNU LGPL licenses.
c See www.sat4j.org for details.
c version 2.3.4.v20130419
c java.runtime.name OpenJDK Runtime Environment
c java.vm.name OpenJDK Client VM
c java.vm.version 24.65-b04
c java.vm.vendor Oracle Corporation
c sun.arch.data.model 32
c java.version 1.7.0_65
c os.name Linux
c os.version 3.2.0-4-686-pae
(...)
预期：
来自 readme.txt：
使用动态配置运行 sat4j：
java -jar sat4j-sat.jar -remote这些说明应该会打开一个名为 Remote Control 的 java 窗口。我们假设 1.5 版本的 java 命令在您的路径中。如果不是，那么您应该指定 java 命令的完整路径或更新您的 PATH 环境变量，如 Java 2 SDK 的安装说明中所述。
其他详情
我尝试了该库的多个版本，最高为 2.3.4。
我的系统是带有 Gnome 2 的 Debian 7。
我的默认 Java 安装是 OpenJDK 1.7.0_65。
我的辅助 Java 安装是 Oracle Java 1.8.0_45（同样的问题）。
安装了 Gnuplot 4.6。
我的第一台机器有一个 32 位双核 CPU 和 2GB 内存。
我的第二台机器有一个 64 位四核 CPU 和 8GB RAM，软件几乎相同。
问题
有人用过SAT4J的遥控功能吗？我的方法有什么问题？
更新
在另一台机器（64 位 Debian 7）上，该窗口打开。开始后创建 dat 文件，但绘图未开始。
更新 2
我从 gnuplot 终端手动运行生成的instance.dimacs-gnuplot.gnuplot文件，并收到了unknown or ambiguous terminal type该x11类型的消息。我安装了该gnuplot-x11软件包，现在它可以在工作场所的机器上运行：我可以看到图表（哇！）。不幸的是，在我的家用机器上，远程控制窗口仍然没有打开。