RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
Bump jsdt support to 2021-09 - now requires jdk 11
Fix processing on end of line (EOL) markers making it accurate (mixed match resulted in odd behavior)
ver 2.18.0
Support Eclipse 2021-12 (4.22, JDT 3.28) - now requires jdk 11
Move whitespace trim to ensure it's counted in formatting stats
Set whitespace trim to default 'true' as it is formatting
Added support for jsoup maxPaddingWidth, we default to -1 to disable to retain original behaviour on full pretty print
Add block to html tests to demonstrate upstream jsoup bug adding new lines has been fixed
Add support for trimming trailing spaces from jsoup pretty print so our internal tests can function properly due to jsoup upstream bug
Add support for counting leading spaces from jsoup pretty print so our internal tests can function property due to jsoup upstream bug
Add support for breaking '--><! from jsoup pretty print so our internal tests can function propertly due to jsoup upstream bug
Run overall code cleanup including using java 10 'var' since we require jdk 11 to work.
Internal usage of http: has been switched to https and any redirects from old google code were updated to reflect this repo as seen in tests. One left over http is a bogus site.
Enhance cache support to not write timestamp to it and to sort content making it safe to check in and use via automation to update when using cross platform such as linux and windows.
Without this, it can get random data write as this is read into memory first then written at end with no guarantee of order.
Added first integration test to confirm caching with sorting and removal of timestamp can be confirmed properly
Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.
Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
- `@dependabot rebase` will rebase this PR
- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it
- `@dependabot merge` will merge this PR after your CI passes on it
- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it
- `@dependabot cancel merge` will cancel a previously requested merge and block automerging
- `@dependabot reopen` will reopen this PR if it is closed
- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
Bumps formatter-maven-plugin from 2.17.1 to 2.18.0.
Changelog
Sourced from formatter-maven-plugin's changelog.
Commits
d9e1d74[maven-release-plugin] prepare release formatter-maven-plugin-2.18.0078173eClean up JsonFormatter and JsonFormatterTest445ffabMerge pull request #598 from hazendaz/main7dda0a2Merge pull request #595 from xenoamess-fork/support_multiple-object_json_filef186f11[pom] Let formatter move pom entry for jsoup due to group id change355ee29[pom] Switch jsoup to fork until jsoup releases latera98bbd2Merge pull request #597 from hazendaz/master29671d0[pom] Bump site plugin to 3.11.01a6cc9d[pom] Bump project info reports to 3.2.1da1204f[pom] Bump javadoc plugin to 3.3.2Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)