fix issues with Java HashList stuff