commit | 1b3dc0cabe91812b28eec819891dbd5f890f1f41 | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Aug 07 14:17:42 2011 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Aug 07 14:17:42 2011 +0000 |
tree | 6a1ab4780565e3c3ea3f8419a6b5aab4079d898b | |
parent | c56eb7b5880ff38fec36f50552a7dccc0a068553 [diff] |
Adjust constants to avoid conflicts with new constants for Java7