Experience with statically-generated proxies for facilitating Java runtime specialisation