Revision 1027832

Use target of "jsr14" for compilation with the following effects:
  - Source level 5 indicates support for generics
  - Target jsr14 compiles JDK 14 (Class version 48) classes
  - Take care to not use other Java 5 features like Annotations and Enum
      (Thus replace enum State with plain old int constants)