tree bd4ebcdbb8d411e2b7a1ae5c8e6665878eb74e59
parent 4e2469e31d47c8a54b83a630482009f481d0e0e7
author Andreas Wundsam <andreas.wundsam@bigswitch.com> 1392756995 -0800
committer Andreas Wundsam <andreas.wundsam@bigswitch.com> 1392756995 -0800

java_gen: use Arrays.copyOf() instead of .clone() for defensive copy

@gregor-bsn convinced me it's better :)