You are viewing a plain text version of this content. The canonical link for it is here.
Posted to server-dev@james.apache.org by rd...@apache.org on 2009/07/30 19:18:23 UTC
svn commit: r799375 - in /james/jsieve/trunk/main/src/main/jjtree:
address/AddressListParser.jjt sieve/sieve.jjt
Author: rdonkin
Date: Thu Jul 30 17:18:23 2009
New Revision: 799375
URL: http://svn.apache.org/viewvc?rev=799375&view=rev
Log:
JSIEVE-53 Upgrade JDK version https://issues.apache.org/jira/browse/JSIEVE-53
Modified:
james/jsieve/trunk/main/src/main/jjtree/address/AddressListParser.jjt
james/jsieve/trunk/main/src/main/jjtree/sieve/sieve.jjt
Modified: james/jsieve/trunk/main/src/main/jjtree/address/AddressListParser.jjt
URL: http://svn.apache.org/viewvc/james/jsieve/trunk/main/src/main/jjtree/address/AddressListParser.jjt?rev=799375&r1=799374&r2=799375&view=diff
==============================================================================
--- james/jsieve/trunk/main/src/main/jjtree/address/AddressListParser.jjt (original)
+++ james/jsieve/trunk/main/src/main/jjtree/address/AddressListParser.jjt Thu Jul 30 17:18:23 2009
@@ -35,6 +35,7 @@
OUTPUT_DIRECTORY="./org/apache/jsieve/parser/generated/address";
//DEBUG_PARSER=true;
//DEBUG_TOKEN_MANAGER=true;
+ JDK_VERSION="1.5";
}
PARSER_BEGIN(AddressListParser)
Modified: james/jsieve/trunk/main/src/main/jjtree/sieve/sieve.jjt
URL: http://svn.apache.org/viewvc/james/jsieve/trunk/main/src/main/jjtree/sieve/sieve.jjt?rev=799375&r1=799374&r2=799375&view=diff
==============================================================================
--- james/jsieve/trunk/main/src/main/jjtree/sieve/sieve.jjt (original)
+++ james/jsieve/trunk/main/src/main/jjtree/sieve/sieve.jjt Thu Jul 30 17:18:23 2009
@@ -29,6 +29,7 @@
OUTPUT_DIRECTORY="./org/apache/jsieve/parser/generated";
NODE_EXTENDS="org.apache.jsieve.parser.SieveNode";
NODE_SCOPE_HOOK=true;
+ JDK_VERSION="1.5";
}
PARSER_BEGIN(SieveParser)
---------------------------------------------------------------------
To unsubscribe, e-mail: server-dev-unsubscribe@james.apache.org
For additional commands, e-mail: server-dev-help@james.apache.org