/samples/javabeans/src/org/apidesign/javabeans/with/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2020-04-03 16:32 +0200 1306 AbstractHighlightsContainer.java
-rw-r--r-- 2020-04-03 16:32 +0200 265 HighlightsChangeEvent.java
-rw-r--r-- 2020-04-03 16:32 +0200 200 HighlightsChangeListener.java
-rw-r--r-- 2020-04-03 16:32 +0200 384 HighlightsContainer.java
-rw-r--r-- 2020-04-03 16:32 +0200 289 HighlightsSequence.java