update README.md to include reference to the useModuleNames jabsaw.properties parameter
add unit test for type loading (ldc instruction) and instanceof