tried to fix the dissappearing packages bug, found the problem, but unfixable due to Jhotdraw
Merge branch 'bugfix_Violations' into develop