The following Java code shows an abstract class that needs to be extended:
The Java code is compiled with the first call.
Obix and Java code can be mixed in an application.
The new and improved Java code remains free to all users.
And many developers do in fact like writing Java code for platforms.
The only time the server has to come down is to make changes to the low-level Java code, which doesn't happen very often.
This is analogous to the process for compiling and running Java code.
The only problem I could see would be a hack into the server, a change of Java code.
The figure to the right shows Java code that matches this pattern, thus violating the property.
The following Java code demonstrates the basic structure of a quine.