Java 7;
3rd party dependencies on JavaFX and JFreeChart;
project for Isabelle/Graphview;
copy Isabelle/Graphview sources
sync Isabelle/Graphview sources;

Note that this sync is as-is on this date - it will not have its development history, but will track upcoming changes to Graphview
ignore Graphview /bin
Graphview dependency for jEdit