comparison clean @ 1478:5571b97fc1ec

More JNI global handle clean ups.
author Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date Fri, 26 Nov 2010 19:45:05 +0100
parents 6223633ce7dd
children
comparison
equal deleted inserted replaced
1477:30e1f67703da 1478:5571b97fc1ec