K 10 svn:author V 4 bapt K 8 svn:date V 27 2016-07-31T12:40:43.018972Z K 7 svn:log V 73 Add a new "@javavm" keyword to handle the (un)registration of the JavaVM END