Added sketch of extending java-import macro to allow multiple imports from the same namespace (currently gives verify errors if extension is uncommented).