64 bit java regex fix