some minor style fixes

fix obsolete width attribute in col

fix gradle builds with recent IntelliJ

#164 add issue summary for developers

remove java task from build file

update from gradle 7.3 to 7.6

#233 migrate to Jakarta EE and update dependencies

(0) -100 -30 -10 -7 +7 +10 +30 tip

mercurial