# HG changeset patch # User Felix Wolfsteller # Date 1373449070 -7200 # Node ID 12d9c5a430c57a2fa16db808e8a31015bda4bfa3 # Parent e89e5163973f6ac3b7f8f35b0d84478953ff12f6 Doc. diff -r e89e5163973f -r 12d9c5a430c5 artifacts/src/main/java/org/dive4elements/river/artifacts/states/WaterlevelState.java --- a/artifacts/src/main/java/org/dive4elements/river/artifacts/states/WaterlevelState.java Wed Jul 10 11:37:00 2013 +0200 +++ b/artifacts/src/main/java/org/dive4elements/river/artifacts/states/WaterlevelState.java Wed Jul 10 11:37:50 2013 +0200 @@ -138,6 +138,7 @@ return res; } + /** Returns empty String if argument is null, argument itself otherwise. */ private static final String nn(String s) { return s != null ? s : ""; }