jvShortWdNames top-level constant

Implementation

const Map<int, String> jvShortWdNames = {
  7: "NGAD",
  1: "SEN",
  2: "SEL",
  3: "REB",
  4: "KEM",
  5: "JEM",
  6: "SET"
};