Update author attribute in JavaDocs

Update dependencies. Clean up build.gradle.

Format SQL

Add jdtls stuff to ignorefile

Add CC property

Fix the result dialog not appearing problem. Fix some schema issues.

Add database startup scripts

Make marking window modal. Fix bugs with incomplete results.

Update properties file

Change 'special' criterion to text fields. ...

* Allows arbitrary values for things like late penalties (within specified ranges).
* Can abuse this to mark exams.

Switch DAO to using submission_id for finding students. Recursive code reformat.

Minor cleanup. Library updates. Update schema to latest version.

Bunch of stuff that I forgot to commit a year ago. Whoopsy.

Converted to Gradle project, and switched to FlatLAF.

Added more properties.

Made expandable text areas optional (check box).

Updated schema.

Added a clear mark button. Closes #2.

Text areas expand on focus. Closes #3.

Added batch email, and sent indicator. Closes #1, Closes #6.

Added batch email, and sent indicator. Closes #1, Closes #6.

Handle incorrect password. Thread around report generation. Dialogs -> Frames.

Minor changes to schema.

Added reporting.

Special criterion added. Marking properties added. Remember last selection.

Having no 'special' criterion caused issues. Fixed.

Now have genuine weighted marks. Cleaned up schema SQL.

Added "copy to clipboard" feature. Added some comments.

A bunch of improvements.

Make vertical scroll bars appear. ...

They appear, but I hard to hardcode the text area height meaning
that we now have a fixed size text area, and the vertical scroll
bars are always visible.

The is mostly because of a bug that causes the text areas to grow
horizontally infinitely if you leave it to the layout manager to sort
out.