The great rename: the old ‘website’ is now ‘website-old’, and ‘website2’ is now ‘website’.

This commit is contained in:
Reinier Zwitserloot
2017-05-29 21:02:54 +02:00
parent 72fd50b9f1
commit 8b7a7cbc81
185 changed files with 25 additions and 25 deletions
@@ -0,0 +1,23 @@
public class SynchronizedExample {
private static final Object $LOCK = new Object[0];
private final Object $lock = new Object[0];
private final Object readLock = new Object();
public static void hello() {
synchronized($LOCK) {
System.out.println("world");
}
}
public int answerToLife() {
synchronized($lock) {
return 42;
}
}
public void foo() {
synchronized(readLock) {
System.out.println("bar");
}
}
}