@debug(devbuild=production,counter=1) public void testMethod() {
}
public @remote void ping() {
}
The Java way does make clear what is a language builtin ("public",
"void") and what is extension metadata "@remote", "@debug". That may not
be a bad thing...
Paul Prescod