Support for Java 1.7
Allows to compile FraSCAti with Java 1.7.
This requires to apply at least the following patch:
Index: frascati/modules/pom.xml
--- frascati/modules/pom.xml (revision 5941) +++ frascati/modules/pom.xml (working copy) @@ -111,6 +111,8 @@
-
<source>1.5</source>
-
<target>1.5</target> <srcs> <src>src/main/java</src> <src>src/main/resources</src>