| commit | 311ffae8d8d271d568c7d49bb9457036f77be5a6 | [log] [tgz] |
|---|---|---|
| author | Stephan Wahlbrink <sw@wahlbrink.eu> | Wed Dec 01 21:57:21 2021 +0100 |
| committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Wed Dec 01 21:57:21 2021 +0100 |
| tree | 725bc4a278222e1d25d16e3030984baa00347dc7 | |
| parent | 1b70fec99ef594b1858f9bd760d447ee7adb1c0d [diff] |
Update nullable annotation GenericConsoleSourceUnit.getContentStamp
diff --git a/r/org.eclipse.statet.nico.ui/src/org/eclipse/statet/nico/ui/console/GenericConsoleSourceUnit.java b/r/org.eclipse.statet.nico.ui/src/org/eclipse/statet/nico/ui/console/GenericConsoleSourceUnit.java index a0b017d..461843c 100644 --- a/r/org.eclipse.statet.nico.ui/src/org/eclipse/statet/nico/ui/console/GenericConsoleSourceUnit.java +++ b/r/org.eclipse.statet.nico.ui/src/org/eclipse/statet/nico/ui/console/GenericConsoleSourceUnit.java
@@ -141,7 +141,7 @@ } @Override - public long getContentStamp(final IProgressMonitor monitor) { + public long getContentStamp(final @Nullable IProgressMonitor monitor) { return this.document.getModificationStamp(); }