00001 package gov.nasa.arc.ase.jpf.jvm.partition; 00002 00003 // ifdef DISTRIBUTED 00004 00005 00006 00007 00008 00009 00010 00011 00012 00013 00014 00015 00016 00017 00018 00019 // ifdef DEBUG 00020 00021 //#endif DEBUG 00022 00023 00024 00025 00026 00027 00028 00029 00030 00031 00032 00033 00034 00035 00036 00037 00038 00039 00040 00041 00042 00043 00044 00045 00046 00047 00048 00049 00050 00051 00052 00053 00054 00055 00056 00057 00058 00059 00060 00061 00062 //#else DISTRIBUTED 00063 public class GDynamicLocalHash0Partition { 00064 }