Lukas Eder e41d0d281c Document cast that is a workaround for an Eclipse compiler issue ... Issue here: https://github.com/eclipse-jdt/eclipse.jdt.core/issues/99		2022-05-24 15:22:45 +02:00
..
src/main	Document cast that is a workaround for an Eclipse compiler issue	2022-05-24 15:22:45 +02:00
.gitignore
LICENSE.txt
NOTICE.txt
pom.xml