jnode/jnode — pull request #1 by flesire (2013-11-14 10:42:03+00:00)
Title: Use jdk1.7 for compilation

As JDK 1.6 is deprecated for some times now, JNode should be able to compile with at least JDK 1.7.