Closing. Appears to be resolved via commit: https://github.com/jboss-developer/ticket-monster/commit/6b63d7584c3f75bb0614b414fff56f42920f855a or by later fixes.