Opened 5 years ago

Closed 4 years ago

#1 closed enhancement (fixed)

Add support for Java7

Reported by: lama Owned by: lama
Priority: nextThingToDo Component: jplag-frontends
Keywords: Cc: Sven.Patzina@…, f.j.wiesman@…

Description


Change History (5)

comment:1 Changed 5 years ago by lama

  • Cc f.j.wiesman@… added

could you please support Java 7, most notably the diamond operator

comment:2 Changed 4 years ago by lama

  • Component changed from jplag-server to jplag-frontends

comment:4 Changed 4 years ago by lama

  • Owner changed from somebody to lama
  • Priority changed from normal to nextThingToDo
  • Status changed from new to accepted

comment:5 Changed 4 years ago by lama

  • Resolution set to fixed
  • Status changed from accepted to closed
Note: See TracTickets for help on using tickets.