Differences

This shows you the differences between two versions of the page.

--- project1 [2018/01/26 22:46] – franck
+++ project1 [2018/01/31 02:31] (current) – franck
@@ Line 19: / Line 19: @@
 Note: it seems that the version of Java is important (see [[https://groups.google.com/forum/#!topic/java-pathfinder/IHhqtXJwy2M|here]]).  I managed the build JPF with Java 1.8.0_144.
+To determine which version of Java is used by eclipse, you can run the following app in eclipse.
+<code java>
+public class Version {
+  public static void main(String[] args) {
+    System.out.println(System.getProperty("java.version"));
+  }
+}
+</code>